0.1. Security protocols

As with any protocol, a security protocol comprises a prescribed sequence of interactions between entities designed to achieve a certain end. A diplomatic protocol typically involves some exchange of memoranda of understanding and so on, intended to establish agreement between parties with potentially conflicting interests. A communications protocol is designed to establish communication between agents, i.e. set up a link, agree syntax, and so on. Even such mundane, everyday activities as withdrawing money from an ATM or negotiating a roundabout involve protocols.

The goals of security protocols, also known as cryptographic protocols, are to provide various security services across a distributed system. These goals include: ...

Get The Modelling and Analysis of Security Protocols: the CSP Approach now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.