| 书目名称 | Principles of Protocol Design |
| 编辑 | Robin Sharp |
| 视频video | |
| 概述 | 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 supple |
| 图书封面 |  |
| 描述 | 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 da |
| 出版日期 | Book 2008 |
| 关键词 | CSP; Communication Protocols; Computer Networks; Internet; Peer; Routing; computer network; distributed sys |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-77541-6 |
| isbn_softcover | 978-3-642-09628-0 |
| isbn_ebook | 978-3-540-77541-6 |
| copyright | Springer-Verlag Berlin Heidelberg 2008 |
发表于 2025-3-21 16:47:00
