Bella Giampaolo <br/><br/>
Formal Correctness of Security Protocols 

 - Heidelberg  Springer  2007 
<br/><br/><label>LC Class. No.: </label>005.8  / BEL-F 
<br/><br/><label>Dewey Class. No.: </label>005.8  / BEL-F