Principles of Protocol Design (eBook)

Robin Sharp (Autor)

eBook Download: PDF

2008
402 Seiten
Springer Berlin (Verlag)
978-3-540-77541-6 (ISBN)

Infos

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.

Inhalt

Preface 5
Contents 7
Introduction 12
1.1 What is a Protocol? 12
1.2 Protocols as Processes 14
1.3 Techniques for Actual Protocols 15
1.4 Real Protocols 15
1.5 Reader’s Guide 16
CSP Descriptions and Proof Rules 18
2.1 Processes and Process Synchronisation 19
2.2 Channel History Semantics 37
2.3 Failure Semantics 46
Further reading 51
Exercises 52
Protocols and Services 56
3.1 Providing a Service 59
3.2 Service Features 66
3.3 OSI and Other Layered Architectures 75
Further reading 79
Exercises 79
Basic Protocol Mechanisms 82
4.1 Sequence Control and Error Control 84
4.2 Flow Control 98
4.3 Indication of Change of Peer State 105
4.4 Change of Service Mode 111
4.5 Multiplexing and Splitting 113
4.6 Segmentation and Reassembly 123
4.7 Prioritisation 127
Further reading 128
Exercises 129
Multi-peer Consensus 132
5.1 Reliable Broadcasts 133
5.2 Election 137
5.3 Commitment 140
5.4 Byzantine Agreement 146
5.5 Clock Synchronisation 152
5.6 Finding the Global State 159
Further reading 164
Exercises 165
Security 166
6.1 Cryptographic Methods 166
6.2 Integrity 175
6.3 Digital Signatures 178
6.4 Entity Authentication 181
6.5 Key Exchange 195
6.6 Non-cryptographic Methods 197
Further reading 197
Exercises 198
Naming, Addressing and Routing 202
7.1 General Principles of Naming and Addressing 202
7.2 Addressing Structures 218
7.3 Routing 226
7.4 Congestion 240
Further reading 249
Exercises 249
Protocol Encoding 252
8.1 Simple Binary Encoding 253
8.2 TLV Encoding 255
8.3 ASN.1 Encoding 257
8.4 ASCII encodings 262
Further Reading 281
Exercises 282
Protocols in the OSI Lower Layers 286
9.1 Data Link Layer 287
9.2 Network Layer 291
9.3 Transport Layer 295
Further Reading 299
Application Support Protocols 302
10.1 Session Layer 302
10.2 Presentation Layer 306
10.3 Application Layer 308
10.4 Basic Application Service Elements 309
10.5 Commitment, Concurrency and Recovery 312
10.6 Client-server Systems 314
10.7 Security Middleware 327
Further Reading 330
Application Protocols 332
11.1 File Transfer 333
11.2 Distributed Transaction Processing 340
11.3 Message Handling 343
11.4 Hypertext and the World Wide Web 351
11.5 Web Services 367
Further Reading 375
Notation 378
A.1 Data Types and Variables 378
A.2 Data Values and Expressions 378
A.3 Processes and Process Expressions 379
A.4 Traces, Failures and Transitions 380
A.5 Inference Rules for Process Specifications 380
A.6 Security 380
Standardisation of Protocols 382
B.1 Standards Organisations 382
B.2 Standards Documents 383
References 388
Index 400

Produkt-Details

• Erscheint lt. Verlag: 13.2.2008
• Zusatzinfo: XII, 402 p. 172 illus.
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Informatik ► Netzwerke ► Sicherheit / Firewall
• Schlagworte: Communication Protocols • computer network • Computer Networks • CSP • Distributed Systems • Internet • PEER • Routing
• ISBN-10: 3-540-77541-2 / 3540775412
• ISBN-13: 978-3-540-77541-6 / 9783540775416