@misc{111171, author = {Wayne Jansen}, title = {A Formal Description of the SDNS Security Protocol at Layer 4 (SP4)}, year = {1992}, month = {1992-03-01}, publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD}, language = {en}, }