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

Created March 01, 1992, Updated February 19, 2017