Login / Signup
A Compositional Logic for Proving Security Properties of Protocols.
Nancy A. Durgin
John C. Mitchell
Dusko Pavlovic
Published in:
J. Comput. Secur. (2003)
Keyphrases
</>
security properties
security protocols
security requirements
formal model
security analysis
cryptographic protocols
security vulnerabilities
diffie hellman
key agreement
real time