Principles of Protocol Design

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Sharp, Robin (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.