Shinde, A.H. <br/><br/>
Formal Specification and Verfication of Cryptographic Protocols using Pro Verif and AVISPA 

 - 1st Ed 
 - Sangli  Walchand College of Engineering  2015 
 - 133 p.  20 cm. 
<br/><br/><br/>Text in English 
<br/><br/><label>Dewey Class. No.: </label> / SAT