Communication Protocols: Principles, Methods and Specifications

این کتاب پوشش جامعی از پروتکل های سیستم های ارتباطی ارائه می دهد. این کتاب به چهار بخش تقسیم شده است. بخش اول مفاهیم اساسی طراحی و مشخصات سیستم و پروتکل را پوشش می‌دهد، مدل‌ها و زبان‌ها را برای مشخصات غیررسمی و رسمی پروتکل‌ها مرور می‌کند و زبان مشخصات SDL را توصیف می‌کند. در بخش دوم، مفاهیم و ویژگی‌های اساسی پروتکل‌های ارتباطی و پشته‌های پروتکل، از جمله رسیدگی به صحت منطقی و عملکرد پروتکل‌ها توضیح داده می‌شود. در بخش سوم، بسیاری از روش‌های انتقال پیام که پروتکل‌های ارتباطی خاصی بر اساس آن‌ها هستند، توضیح داده شده و به صورت رسمی در زبان SDL مشخص می‌شوند. بخش چهارم برای آشنایی خواننده با کاربرد عملی روش های ارتباطی ارائه شده در بخش سوم کتاب، توضیحات کوتاهی در مورد برخی از پروتکل های خاص که عمدتاً در شبکه های IP استفاده می شوند، ارائه می دهد. این کتاب برای محققان، دانشگاهیان، متخصصان و دانشجویان در مهندسی ارتباطات مرتبط است.

• پوشش جامع و در عین حال جامعی از پروتکل‌های سیستم‌های ارتباطی ارائه می‌کند
• به خوانندگان امکان می‌دهد تا مشخصات رسمی پروتکل‌های ارتباطی را درک کنند
• روش‌ها و پروتکل‌های ارتباطی را در زبان مشخصات SDL مشخص می‌کند و به خوانندگان ابزارهای عملی می‌دهد تا خودشان سرمایه‌گذاری کنند

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