Peter Ryan <br/><br/>
Modelling and Analysis of Security Protocols 

 - New York  Addison Wesely  2001 
<br/><br/><label>ISBN: </label>0000053080 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Modelling <br/> Protocols <br/> Security<br/>Analysis <br/>Computer Networks Datanetworks
<br/><br/><label>Dewey Class. No.: </label>1.621