Login / Signup
First-order Verification of Cryptographic Protocols.
Ernie Cohen
Published in:
J. Comput. Secur. (2003)
Keyphrases
</>
cryptographic protocols
standard model
security properties
formal verification
first order logic
authentication protocol
security protocols
information systems
response time
computer systems
private information retrieval