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

<br/><br/><label>ISBN: </label>9783540681366