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

 - 1st ed. 2019 
 -  Springer International Publishing  2019 
 -  11565 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>978-3-030-19052-1 
<br/><br/><label>ISSN: </label>1611-3349