Sign in
Security Protocols: Principles and Calculi.
Martín Abadi
Published in:
FOSAD (2007)
Keyphrases
</>
case study
security protocols
automated design
cryptographic algorithms
artificial immune algorithm
security properties
authentication protocol
security services
security mechanisms
key management
secure communication
security requirements
information systems
digital libraries
distributed systems