Schneider, S.

Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols…

The Modelling and Analysis of Security Protocols: the CSP Approach

by Safari, an O'Reilly Media Company, O'Reilly for Higher Education (Firm), Schneider, S., Schneider, S. A., (Steve A.), Ryan, P.

0 Type: Book

Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols…