Skip to main content

Modelling and analysis of security protocols

Peter Ryan‚ Steve Schneider‚ Michael Goldsmith‚ Gavin Lowe and Bill Roscoe

ISBN
0201674718
Publisher
Addison−Wesley
Year
2001