principles of protocol design

This book introduces the reader to the principles used in a broad selection of modern data communication protocols and basic algorithms for use in distributed applications, including not only simple point-to-point data transfer protocols but also multi-party protocols and protocols for ensuring data security. The presentation uses CSP notation to give a concise description of the protocols considered and to provide a basis for analysis of their properties. Relating theory to practice, with a strong focus on currently important Internet protocols, the book clearly explains how the principles are exploited in real-life protocol designs.

Principles of Protocol Design is aimed at third-year students and graduates who are studying computer networks/distributed systems or data communications, as well as professional system designers who are looking for the broad view of the area.


Primarily based on descriptions of protocols in the notation of CSP, this book introduces the principles used in the construction of a wide range of modern data communication protocols. Details CSP descriptions and proof rules; protocols and services, protocol mechanisms; and naming, addressing, and routing. For data communication engineers, designers, and technicians. –This text refers to an out of print or unavailable edition of this title.

DOWNLOAD HERE