Formal correctness of security protocols /
Bella, Giampaolo
Formal correctness of security protocols / Giampaolo Bella - New York : Springer, 2007 - xviii, 274 p. : ill. ; 24 cm. - Information security and cryptography .
Includes bibliographical references
9783540681342
Computer security
Computer networks--Security measures
Computer network protocols
Formal correctness of security protocols / Giampaolo Bella - New York : Springer, 2007 - xviii, 274 p. : ill. ; 24 cm. - Information security and cryptography .
Includes bibliographical references
9783540681342
Computer security
Computer networks--Security measures
Computer network protocols