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/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9783540681342 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security<br/>Computer networks--Security measures<br/>Computer network protocols