TY - BOOK AU - Sharp, Robin TI - Principles of Protocol Design SN - 9783540775409 U1 - 004.62 PY - 2008/// CY - New York PB - Springer-Verlag KW - Electronic Engineering N1 - Introduction 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 Notation Standardisation of Protocols ER -