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
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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