Surrey researchers Sign in
Modelling and Analysis of Security Protocols
Book

Modelling and Analysis of Security Protocols

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

Usage Policy