Skip to main content
SpringerLink
Log in
Book cover

Principles of Protocol Design

  • Book
  • © 2008

Overview

Authors:
  1. Robin Sharp

    1. Technical University of Denmark, 2800, Denmark

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Focuses on principles

  • Uses a precise formal notation (CSP) to describe complex protocols in a concise manner

  • Uses a wide range of commonly-used data communication protocols as examples

  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 139.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 179.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 179.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Introduction

    Pages 1-5

  3. CSP Descriptions and Proof Rules

    Pages 7-43

  4. Protocols and Services

    Pages 45-69

  5. Basic Protocol Mechanisms

    Pages 71-120

  6. Multi-peer Consensus

    Pages 121-154

  7. Security

    Pages 155-189

  8. Naming, Addressing and Routing

    Pages 191-240

  9. Protocol Encoding

    Pages 241-274

  10. Protocols in the OSI Lower Layers

    Pages 275-289

  11. Application Support Protocols

    Pages 291-320

  12. Application Protocols

    Pages 321-365

  13. Back Matter

    Pages 367-402
    Download chapter PDF
Back to top

Keywords

About this book

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 OSI Reference Model are still essential for a systematic and consistent analysis of data communication systems, and OSI terms are therefore used throughout. There are three signi?cant changes in this second edition of the book which p- ticularly re?ect recent developments in computer networks and distributed systems.

Reviews

From the reviews:

"This book takes an unusual path to describe computer network protocols. … Robin Sharp starts from formal description techniques. More precisely, he chooses the Communicating Sequential Processes (CSP) notation proposed by Hoare. … could be of interest to readers who are more interested in the application of formal description techniques to network protocols." (IEEE Network, September/October, 2008)

"The book particularly reflects the recent developments in computer networks and distributed systems with special reference to applications. A number of new protocols are introduced with a focus on their current application, what is good stuff for students and researchers in the area. … The book could be used for undergraduate third and fourth year courses in computer science and the network area. I am sure that this book will be a valuable asset in the educational and scientific community at large." (Aniket Mahanti, Zentralblatt MATH, Vol. 1142, 2008)

Authors and Affiliations

  • Technical University of Denmark, 2800, Denmark

    Robin Sharp

Bibliographic Information

  • Book Title: Principles of Protocol Design

  • Authors: Robin Sharp

  • DOI: https://doi.org/10.1007/978-3-540-77541-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2008

  • Hardcover ISBN: 978-3-540-77540-9Published: 01 February 2008

  • Softcover ISBN: 978-3-642-09628-0Published: 19 October 2010

  • eBook ISBN: 978-3-540-77541-6Published: 13 February 2008

  • Edition Number: 1

  • Number of Pages: XII, 402

  • Number of Illustrations: 172 b/w illustrations

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation