Principles of Protocol Design

by Robin Sharp

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 This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols The approach we take is rather a formal one primarily based on descriptions of protocols in the notation of CSP This not only enables us to describe protocols in a concise manner but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate speci cations Only after considering the main principles do we go on to consider actual protocols where these principles are exploited This is a completely new edition of a book which was rst published in 1994 where the main focus of many international efforts to develop data communication systems was on OSI Open Systems Interconnection the standardised archit ture for communication systems developed within the International Organisation for Standardization ISO In the intervening 13 years many of the speci c protocols veloped as part of the OSI initiative have fallen into disuse However the terms and concepts introduced in the O

Paperback