If you are irritated by every rub, how will your mirror be polished? Rumi
Idea Transcript
Journals
Purchase
Books
Register
Sign in
Export
Computer Networks and ISDN Systems Volume 11, Issue 3, March 1986, Pages 173-182
A validation of the OSI session layer protocol Colin H. West Show more https://doi.org/10.1016/0169-7552(86)90033-4
Get rights and content
Abstract The session layer of the ISO Open-System-Interconnection (OSI) Protocol has been validated using an automated state-exploration technique. The validation methodology is described, together with the particular way it has been applied to the session layer. A number of the protocol errors found is presented.
Previous article
Next article
Keywords Communication Protocol Validation; Open Systems Interconnection; Computer Network Protocols; State Exploration; Protocol Specification; Protocol Standards
Choose an option to locate/access this article: Check if you have access through your login credentials or your institution.