@misc{1148381,
  author = {Wayne A Jansen},
  title = {A formal description of the SDNS Security Protocol at Layer 4 (SP4):},
  year = {1992},
  month = {1992-01-01 05:01:00},
  publisher = {, National Institute of Standards and Technology, Gaithersburg, MD},
  doi = {https://doi.org/10.6028/NIST.IR.4792},
  language = {en},
}