Principles of Protocol Design

• Main Author: Sharp, Robin (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Subjects: Computer science.; Computer communication systems.; Computer Science.; Computer Communication Networks.

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 co...

Table of Contents:

• CSP Descriptions and Proof Rules
• Protocols and Services
• Basic Protocol Mechanisms
• Multi-peer Consensus
• Security
• Naming, Addressing and Routing
• Protocol Encoding
• Protocols in the OSI Lower Layers
• Application Support Protocols
• Application Protocols.