Bella, Giampaolo
Formal correctness of security protocols
- Berlin: Springer, 2007
- xviii, 274 p.; ill.: 24 cm.
- Information security and cryptography .
9783540681342 (hbk)
Computer network protocols
Computer networks -- Security measures
Data encryption (Computer science)
Information security and cryptography
005.82 / BEL