Jansen, W.
(1992),
A Formal Description of the SDNS Security Protocol at Layer 4 (SP4), NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed December 4, 2024)