Ryan, Peter
Modeling and analysis of security protocols
- Harlow: Addison-Wesley, 2001
- xiv, 300 p.; : 24 cm.
0201674718 (pbk)
Computer network protocols
Computer networks - Access control
Computer security
Computers - Access control
Cryptography - Mathematical models
005.8 / RYA