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.

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

Autorentext

After obtaining a Ph.D in physics from Cambridge University, Robin Sharp has been working in the IT area since the early 1970s. He has many years experience in the design and analysis of computer networks, both at the academic level and in collaboration with industrial companies. He is currently an emeritus profesor at DTU Compute, the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), where he has been employed since 1973. He is the author of the book "Principles of Protocol Design" on network protocols, whose second edition was published by Springer Verlag in 2008. His book "What's Cybersecurity All About?", aimed at ordinary computer users, was published by Polyteknisk Forlag, the university publishers at DTU, in 2020. Since the 1990s, the main focus of his work has been on security in networks and methods for secure design of computer systems. This has included work on aspects of human interaction with computer systems and its affect on cybersecurity. He has had the operative responsibility for IT security as CISO at DTU Compute. Robin Sharp is an experienced teacher, having taught courses on computer security and network security since the middle 1990s, including a course for non-IT specialists, which has been an inspiration for the current book.

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