P Ryan, S Schneider, M Goldsmith, G Lowe and B Roscoe
Addison-Wesley
2001
Abstract
Computers
This is the definitive technical reference to security protocols: their goals, mechanisms, properties, and especially their vulnerabilities.
Metrics
19 Record Views
Details
Title
Modelling and Analysis of Security Protocols
Creators
P Ryan
S Schneider
M Goldsmith
G Lowe
B Roscoe
Publisher
Addison-Wesley
Number of pages
300
Date published
2001
Date submitted
17/05/2017
Identifiers
0201674718; 99513224302346
Academic Unit
University of Surrey
Resource Type
Book
Usage Policy
Usage details for all content viewed and downloaded in this site are shared with IRUS-UK (Institutional Repository Usage Statistics UK). Cookies are used to remember your decision. Click Accept to accept usage details sharing and the cookies.