Login / Signup
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis.
Catherine A. Meadows
Published in:
ESOP (2003)
Keyphrases
</>
cryptographic protocols
requirements specification
security properties
authentication protocol
standard model
security protocols
low cost
open source
knowledge based systems
relational databases
software architecture