Security
Dolev-Yao model
Authentication protocol
Cryptography
Cryptographic nonce
Communications protocol
Authentication
Π-calculus
Cryptographic protocols
Data
Information