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

 - Germany   Springer  2017 
<br/><br/><label>ISBN: </label>9783540681342 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal Correctness of Security Protocols <br/>Giampaola Bella