Bella, Giampaolo <br/><br/>
Formal correctness of security protocols / 
Giampaolo Bella 
 - New York :  Springer,  2007 
 - xviii, 274 p. :  ill. ;  24 cm. 
 - Information security and cryptography .
<br/><br/>Bibliography : p. [265]-274 
<br/><br/><label>ISBN: </label>3540681345  RM288.36 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security<br/>Computer networks--Security measures<br/>Computer networks protocols