Skip to main content

Modelling and Analysis of Security Protocols

Peter Ryan‚ Steve Schneider‚ M Goldsmith‚ G Lowe and B Roscoe

ISBN
0201674718
Publisher
Addison Wesley
Year
2001