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

Created March 01, 1992, Updated February 05, 2009