Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

NISTIR 4792

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

Date Published: March 1992

Withdrawn:

Author(s)

Wayne Jansen (NIST)

Abstract

Keywords

Secure Data Network System; Computer Network Security; Open Systems; Interconnection; Security Protocol; Formal Description Technique
Control Families

None selected

Documentation

Publication:
NISTIR 4792 (DOI)
Local Download

Supplemental Material:
None available

Topics

Security and Privacy
general security & privacy

Technologies
networks