Principles of Protocol Design

This text describes the principles used in a broad selection of modern data communication protocols, including point-to-point transfer protocols, multi-peer protocols and protocols for ensuring data security.

It uses CSP notation to give a description of the protocols considered.

Relating theory to practice, it explains how the principles are exploited in real-life protocols.

It is designed for third year students studying computer networks, distributed systems and data communication courses.