Server (Prover/Signer)-Aided Verification of Identity Proofs and Signatures.
Chae Hoon LimPil Joong LeePublished in: EUROCRYPT (1995)
Keyphrases
- theorem proving
- theorem prover
- signature verification
- signature scheme
- formal proof
- automated theorem proving
- proof search
- model checking
- client server
- single server
- web server
- public key
- first order logic
- database
- equational theories
- digital signature
- verification method
- central server
- skilled forgeries
- blind signature
- formal verification
- tcp ip
- inference rules
- natural deduction
- linear logic
- face verification
- network bandwidth
- cryptographic protocols
- authentication protocol
- service times
- standard model
- low latency