Principles of Protocol Design

Pirmais vāks
Springer, 2008. gada 13. febr. - 402 lappuses
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.

No grāmatas satura

Lietotāju komentāri - Rakstīt atsauksmi

Ierastajās vietās neesam atraduši nevienu atsauksmi.

Atlasītās lappuses

Saturs

72 Addressing Structures
207
73 Routing
215
74 Congestion
229
Protocol Encoding
241
81 Simple Binary Encoding
242
82 TLV Encoding
244
83 ASN1 Encoding
246
84 ASCII encodings
251

Protocols and Services
45
31 Providing a Service
48
32 Service Features
55
33 OSI and Other Layered Architectures
64
Basic Protocol Mechanisms
71
41 Sequence Control and Error Control
73
42 Flow Control
87
43 Indication of Change of Peer State
94
44 Change of Service Mode
100
45 Multiplexing and Splitting
102
46 Segmentation and Reassembly
112
47 Prioritisation
116
Multipeer Consensus
121
51 Reliable Broadcasts
122
52 Election
126
53 Commitment
129
54 Byzantine Agreement
135
55 Clock Synchronisation
141
56 Finding the Global State
148
Security
155
62 Integrity
164
63 Digital Signatures
167
64 Entity Authentication
170
65 Key Exchange
184
66 Noncryptographic Methods
186
Naming Addressing and Routing
191
Protocols in the OSI Lower Layers
275
91 Data Link Layer
276
92 Network Layer
280
93 Transport Layer
284
Application Support Protocols
291
102 Presentation Layer
295
103 Application Layer
297
104 Basic Application Service Elements
298
105 Commitment Concurrency and Recovery
301
106 Clientserver Systems
303
107 Security Middleware
316
Application Protocols
321
111 File Transfer
322
112 Distributed Transaction Processing
329
113 Message Handling
332
114 Hypertext and the World Wide Web
340
115 Web Services
356
Notation
367
A3 Processes and Process Expressions
368
A4 Traces Failures and Transitions
369
Standardisation of Protocols
371
B2 Standards Documents
372
References
377
Index
389
Autortiesības

Citi izdevumi - Skatīt visu

Bieži izmantoti vārdi un frāzes

Populāri fragmenti

191. lappuse - No, you don't understand," the Knight said, looking a little vexed. "That's what the name is called. The name really is 'The Aged Aged Man.' " "Then I ought to have said 'That's what the song is called?' " Alice corrected herself. "No, you oughtn't: that's quite another thing! The song is called, 'Ways and Means:' but that's only what it's called, you know!" "Well, what is the song, then?" said Alice, who was by this time completely bewildered. "I was coming to that,
191. lappuse - Oh, that's the name of the song, is it?' Alice said, trying to feel interested. "No, you don't understand,' the Knight said, looking a little vexed."That's what the name is CALLED. The name really IS "THE AGED AGED MAN. ' " "Then I ought to have said "That's what the SONG is called"?
191. lappuse - Oh, that's the name of the song, is it?" Alice said, trying to feel interested. "No, you don't understand," the Knight said, looking a little vexed. "That's what the name is called. The name really is 'The Aged Aged Man'." "Then I ought to have said 'That's what the song is called'?" Alice corrected herself. "No, you oughtn't: that's quite another thing! The song is called ' Ways and Means': but that's only what it's called, you know!
121. lappuse - It is like the precious ointment upon the head, that ran down unto the beard, even unto Aaron's beard, and went down to the skirts of his clothing. 3 Like as the dew of Hermon, which fell upon the hill of Sion. 4 For there the Lord promised his blessing, and life for evermore.
155. lappuse - ... astray, Or the Admiralty lose some plans and drawings by the way, There may be a scrap of paper in the hall or on the stair— But it's useless to investigate— Macavity's not there! And when the loss has been disclosed, the Secret Service say: "It must have been Macavity!"— but he's a mile away.
275. lappuse - ... outside the scope of this book. The interested reader is referred to RaifTa, 1968, and Raiffa and Schlaiffer, 1961.) Here we will briefly mention the 'inverse' problem of decision under risk.
155. lappuse - Macavity's not there! And when the Foreign Office find a Treaty's gone astray, Or the Admiralty lose some plans and drawings by the way, There may be a scrap of paper in the hall or on the stair— But it's useless to investigate— Macavity's not there! And when the loss has been disclosed, the Secret Service say: "It must have been Macavity!
71. lappuse - A little clock-work steamer paddling plied And shook the lilies: perched about the knolls A dozen angry models jetted steam: A petty railway ran: a fire-balloon Rose gem-like up before the dusky groves And dropt a fairy parachute and past: And there through twenty posts of telegraph They flashed a saucy message to and fro...

Bibliogrāfiskā informācija