Bella, Giampaolo. <br/><br/>
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 .
<br/><br/><label>ISBN: </label>9783540681366 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Redes de computadores --Medidas de seguridad<br/>Seguridad de  información y criptografía
<br/><br/><label>LC Class. No.: </label>TK5105.59  / B45 2007