User:Brian.cadwell/sandbox/John Mclean
Appearance
![]() | This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft. Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
John McLean is a computer security researcher and Superintendent of the Information Technology Division at the United States Naval Research Laboratory.[1] He is also Chair of the NATO Research and Technology Organisation Information Systems Technology Panel and a US Navy Member of The Technical Cooperation Program Command, Control, Communications & Information Systems Group (C3I).
He is known primarily for his research on formal specification in software and formal models of computer security
Publications
[edit]- McLean, John D. (2014-04-22). "Oral history interview with John D. McLean". University of Minnesota Digital Conservancy. Charles Babbage Institute.
- McLean, John D. (January 2002). Security Models, in Encyclopedia of Software Engineering, 2 Volume Set, 2nd Edition (ed. John Marciniak). John Wiley and Sons, Inc. ISBN 978-0-471-37737-5.
- Heitmeyer, Constance L.; Archer, Myla M.; Leonard, Elizabeth I.; McLean, John D. (January 2008). "Applying Formal Methods to a Certifiably Secure Software System". IEEE Transactions on Software Engineering. 34 (1): 82–98.
- McLean, John D. (January 1996). "A General Theory of Composition for a Class of 'Possibilistic' Properties". IEEE Transactions on Software Engineering. 22 (1): 53–67.
- McLean, John D. (1992). "Proving Noninterference and Functional Correctness Using Traces". Journal of Computer Security. 1 (1): 37–57.
- McLean, John D. (January 1990). "The Specification and Modeling of Computer Security". Computer. 23 (1): 9–16.
- McLean, John D. (February 1985). "Basic Security Theorem' of Bell and LaPadula". Information Processing Letters. 20 (2): 67–70.
- McLean, John D. (July 1984). "A Formal Method for the Abstract Specification of Software". Journal of the Association for Computing Machinery. 31 (3): 600–627.
- Landwehr, Carl E.; Heitmeyer, Constance L.; McLean, John D. (August 1984). "A Security Model for Military Message Systems". ACM Transactions on Computer Systems. 2 (3): 198–222.
- Heitmeyer, Constance L.; McLean, John D. (September 1983). "Abstract Requirements Specification: A New Approach and Its Application". IEEE Transactions on Software Engineering. 9 (5): 580–589.
References
[edit]