User:Brian.cadwell/sandbox/John Mclean

John McLean is a computer security researcher and Superintendent of the Information Technology Division at the United States Naval Research Laboratory. 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