An analysis of the Token Ring protocol as specified in ANSI/IEEE Standard 802.5-1985
Lundy, G. M.
MetadataShow full item record
This thesis discusses the formal specification techniques for communication protocols and the ANSI/IEEE Standard 802.5 Token Ring Access Method and Physical Layer Specification. Background information on formal protocol specification and a review of the targeted standard are provided. The ambiguities that were found with the standard and solutions to some of those are presented. The study concludes that there is a growing need to find methods which will provide correct, clear and unambiguous methods for the specification and analysis of communication protocols and standards. Keywords: Token ring, Communication protocols, Formal modeling techniques, Computer networks, Local area networks.
Approved for public release; distribution in unlimited.
Showing items related by title, author, creator and subject.
Sacha, David Joseph (Monterey, California. Naval Postgraduate School, 1993-09);The use of fiber optics in high-speed data networks has significantly increased throughput and reliability at the physical layer. Consequently, the transport layer has become a bottleneck to the data transfer potential of ...
Lundy, Gilbert M.; Tipici, H. Alphan (IEEE, 1994-10);In recent years the emergence of optical fiber and its correspondingly high data rates have led to the development of much higher speed networks, both locally and over the long haul. These developments led to the design ...
Specification of Mil-Standard 1553 bus protocol and application to EA-6B communications countermeasures Christensen, Peter Hugh (Monterey, California. Naval Postgraduate School, 1989);A model for the specification and analysis of communication protocols called Systems of Communicating Machines is used to describe and analyze a simplified version of the Mil- Standard 1553 bus protocol. The protocol ...