Abstract
This paper demonstrates the practical use of formal methods in a very striking manner by locating an unexpected anomaly in the internationally specified protocol, ISO 8802-2 [1]. This standard describes the service and implementation of the Logical Link Control (LLC) sub-layer protocol constituting the ‘upper’ portion of the OSI Reference Model’s data link layer. In this framework, the peer LLC sub-layer components in different computers communicate with each other by exchanging Protocol Data Units (PDUs) via the Medium Access Control (MAC) sub-layer, which constitutes the remaining ‘lower’ portion of the data link layer. The LLC sub-layer communicates with its users in the network layer through Service Access Points (SAPs).
Chapter PDF
References
International Standard ISO 8802–2: 1989. Part 2: Logical link control.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Rowson, J.R. (1995). Formal Specification and Analysis of an ISO Communications Protocol. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive