Communication Protocols [electronic resource] : Principles, Methods and Specifications /

Introduction -- i. Specification of communication systems and protocols -- system specification and design -- protocol specification and design -- sdl language -- ii. Protocols and their properties -- communication service, communication protocol -- protocol stack -- communication protocol performance -- protocol analysis, simulation and measurement -- iii. Methods of message transfer -- coding and decoding of protocol data units -- segmentation and reassembly of protocol data units -- addressing -- distributed state management -- providing reliable message transfer -- flow and congestion control -- medium access control -- iv. Short presentation of some standard protocols -- hdlc family of protocols -- ppp protocol -- local area network protocols -- ip protocol -- arp protocol -- dns: distributed directory and protocol -- tcp protocol -- udp protocol -- sctp protocol -- protocols rtp / rtcp -- transport layer security -- some application layer protocols in ip networks -- Conclusion.

This book provides comprehensive coverage of the protocols of communication systems. The book is divided into four parts. Part I covers the basic concepts of system and protocol design and specification, overviews the models and languages for informal and formal specification of protocols, and describes the specification language SDL. In the second part, the basic notions and properties of communication protocols and protocol stacks are explained, including the treatment of the logical correctness and the performance of protocols. In the third part, many methods for message transfer, on which specific communication protocols are based, are explained and formally specified in the SDL language. The fourth part provides for short descriptions of some specific protocols, mainly used in IP networks, in order to acquaint a reader with the practical use of communication methods presented in the third part of the book. The book is relevant to researchers, academics, professionals and students in communications engineering. Provides comprehensive yet granular coverage of the protocols of communication systems Allows readers the ability to understand the formal specification of communication protocols Specifies communication methods and protocols in the specification language SDL, giving readers practical tools to venture on their own.