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 .
Bibliography : p. [265]-274
3540681345 RM288.36
Computer security
Computer networks--Security measures
Computer networks protocols
Formal correctness of security protocols / Giampaolo Bella - New York : Springer, 2007 - xviii, 274 p. : ill. ; 24 cm. - Information security and cryptography .
Bibliography : p. [265]-274
3540681345 RM288.36
Computer security
Computer networks--Security measures
Computer networks protocols