Authentication Primitives for Protocol Specifications.
Chiara BodeiPierpaolo DeganoRiccardo FocardiCorrado PriamiPublished in: PaCT (2003)
Keyphrases
- authentication protocol
- protocol specification
- security analysis
- high level
- key distribution
- smart card
- model checker
- user authentication
- session key
- mutual authentication
- lightweight
- low level
- ban logic
- formal analysis
- building blocks
- secret key
- public key
- trusted third party
- state machines
- formal specification
- key agreement
- wireless local area network
- authentication scheme
- specification language
- key agreement protocol
- biometric authentication
- cryptographic protocols
- communication protocol
- communication protocols
- authentication mechanism
- virtual private network
- security requirements
- tcp ip
- multi party
- security model
- security protocols
- fragile watermarking