Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic <br/><br/>
Foundations of Security, Protocols, and Equational Reasoning 

 -  Springer  Springer  2019 
<br/><br/><label>ISBN: </label>9783030190521 
<br/><br/><label>Source: </label>EBOOK