Jansen, W.
(1992),
A formal description of the SDNS Security Protocol at Layer 4 (SP4):, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.4792
(Accessed October 31, 2024)