Robin Sharp: Principles of Protocol Design

Cover: 9783540775409 | Principles of Protocol Design | Robin Sharp | Buch | xii | Englisch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

143,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Zusammenfassung

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: [...]

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2008
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	xii 402 S. 172 s/w Illustr. 23 s/w Tab. 402 p. 172 illus.
ISBN-13:	9783540775409
ISBN-10:	3540775404
Sprache:	Englisch
Herstellernummer:	12211210
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Autor:	Sharp, Robin
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg
Maße:	241 x 160 x 28 mm
Von/Mit:	Robin Sharp
Erscheinungsdatum:	01.02.2008
Gewicht:	0,787 kg

Artikel-ID: 101864406