A verified encrypted packet interface. - Michael K. Smith; Ann E. Siebert; Benedetto L. DiVito; Donald I. Good (ACM SIGSOFT Softw. Eng. Notes, 1981)