Authentication, DEC SRC research rpt. No. 39 (February 28, 1989).
Kyntaja, Timo (Helsinki University of Technology), A Logic of authentication by Burrows, Abadi and
Needham. 1995.
351 NIST, “Validation Lists for Cryptographic Modules” [web page] (Gaithersbur, MD: NIST Computer