1. McLean, J. "Security Models," Encyclopedia of Software Engineering (ed. John Marciniak), Wiley & Sons, Inc., 1994. PostScript, PDF
2. McLean, J. "Security Models and Information Flow," Proceedings of 1990 IEEE Symposium on Research in Security and Privacy, IEEE Press, 1990. (IEEE Computer Society Outstanding Paper Award) PostScript, PDF
3. McLean, J. "The Specification and Modeling of Computer Security," Computer, vol. 23, no. 1, Jan. 1990. PostScript, PDF
4. McLean,
J. "A Comment on the 'Basic Security Theorem' of