Formal Correctness of Security Protocols
Bella, Giampaolo.
Formal Correctness of Security Protocols With 62 Figures and 4 Tables / [electronic resource] : by Giampaolo Bella. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Information Security and Cryptography, Texts and Monographs, 1619-7100 .
9783540681366
Redes de computadores --Medidas de seguridad
Seguridad de información y criptografía
TK5105.59 / B45 2007
Formal Correctness of Security Protocols With 62 Figures and 4 Tables / [electronic resource] : by Giampaolo Bella. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Information Security and Cryptography, Texts and Monographs, 1619-7100 .
9783540681366
Redes de computadores --Medidas de seguridad
Seguridad de información y criptografía
TK5105.59 / B45 2007