References
M. Abadi & R. Needham (94) Prudent engineering practice for cryptographic protocols, IEEE S&P.
G. McGraw (98) Testing for security during development, IEEE Aerospace and Electronic Systems, 13(4)
A. Rubin & P. Honeyman (95) Formal methods for the analysis of authentication protocols. Manuscript.
B. Schneier (96) Why crypto is harder than it looks. EDI Forum, 10(4)
D. Wallach & E. Felten (98) Understanding Java Stack Inspection, IEEE S&P.