A Formal Description of the SDNS Security Protocol at Layer 4 (SP4)

The Secure Data Network System (SDNS) project, initiated by the National Security Agency in 1986, produced a computer network security architecture within the framework of the International Organization for Standardization (ISO) reference model for Open Systems Interconnection (OSI). This report... See full abstract

The Secure Data Network System (SDNS) project, initiated by the National Security Agency in 1986, produced a computer network security architecture within the framework of the International Organization for Standardization (ISO) reference model for Open Systems Interconnection (OSI). This report contains a formal description of the SDNS security protocol at layer four (SP4), one component of the overall security architecture. Estelle is the OSI formal description technique (FDT) used for the SP4 specification. Estelle is based on an extended state transition model with language elements from the Pascal language. An Estelle specification describes a hierarchically structured system of modules. The design of the formal description is explained through a top level and subsequent level of module decomposition. A description of the underlying security management information base is also included
Hide full abstract