Publisher's Synopsis
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.