Edit WYSIWYGattachfile Attach PDF Raw View►More Actions▼More Actions

Restore topic to revision: You will be able to review the topic before saving it to a new revision

Copy text and form data to a new topic (no attachments will be copied though).
Name of copy:
You will be able to review the copied topic before saving

Rename/move topic... scans links in all public webs (recommended)
Rename/move topic... scans links in CBI_ComputerSecurity web only
Delete topic... scans links in all public webs (recommended)
Delete topic... scans links in CBI_ComputerSecurity web only

Revision Date Username Comment
920 Feb 2015 - 10:15ThomasMisa 
819 Feb 2015 - 15:13sever408? 
718 Feb 2015 - 15:15sever408? 
612 Feb 2015 - 17:13ThomasMisa 
512 Feb 2015 - 17:12ThomasMisa 
412 Feb 2015 - 13:08sever408? 
312 Feb 2015 - 12:02sever408? 
210 Feb 2015 - 14:53sever408? 
110 Feb 2015 - 14:15sever408? 

Render style:     Context:

 History: r9 < r8 < r7 < r6 < r5
[X] Hide this message.
Notice: On June 30, 2016, UMWiki service will be decommissioned. If you have information in UMWIki that needs to be preserved, you should make plans to move it before that date. Google Sites is anticipated to be the most popular and appropriate alternative for users because it offers a more modern and user-friendly interface and unlimited capacity. To learn more about the features of Google Sites and other alternatives, and to identify which one best fits your needs, see the University’s Website Solution Selection Guide. If you have concerns or would like help regarding this change and your options, please contact Technology Help at help@umn.edu
You are here: UMWiki>CBI_ComputerSecurity Web>WebPreferences>DraftJohnDMcLean (20 Feb 2015, ThomasMisa)

Current Activitieslock Who is Who?lock People Programs Publications CSHW_2014 Systems Events Mechanisms

pls cut out:
pls link to Computer Security Foundations (stub)

Hi Patrick: put an "exclamation point" in front of McLean to suppress the wiki link . . . I've done a bit of editing of the text here. TJM

John D. McLean

John D. McLean is a theoretical computer security researcher with the Naval Research Laboratory (NRL). He is the current superintendent of NRL's Information Technology Division (ITD), where he has spent the majority of his career.


McLean began his college education at Oberlin, gaining a B.A. in Mathematics in 1974. He did graduate work in Philosophy at UNC Chapel Hill, receiving an M.A. in 1976 and a Ph.D in 1980. He also gained a M.S. in Computer Science, working closely with David Parnas. His dissertation was entitled "Instantiation, Confirmation and Truth: A Problem in Inductive Logic."(1)(2)


McLean took his first job at Naval Research Laboratory (NRL) in 1980 as a Research Computer Scientist, after Parnas (an NRL consultant at the time) suggested that interview with them.

In 1988, McLean played a major role in creating the Center for High Assurance Computer Systems (CHACS) within NRL's Information Technology Division. Within CHACS, he created a Formal Methods section, which he headed.

He became director of CHACS in 1994.

Major Works

System Z

System Z was an (alternative security paradigm?) that was used to critique the Bell-LaPadula model (BLP). McLean first wrote about System Z in Computer Security Forum 5, issue 14. Responses to his idea were published in subsequent issues which, according to McLean?, ranged in tone from apathy to anger. (3)(4). One notable positive response came from Donald Good, which McLean? later thanked in the acknowledgements of "Reasoning About Security Models". McLean? wrote several subsequent papers that further critiqued BLP and offered counter-opinions to the negative response he'd initially received.

The Pump

Additional Resources


1 : http://www.nrl.navy.mil/itd/superintendent

2 : http://books.google.com/books/about/Instantiation_Confirmation_and_Truth_a_P.html?id=0lEWYAAACAAJ

3 : http://conservancy.umn.edu/bitstream/handle/11299/164989/oh437jdm.pdf?sequence=1&isAllowed=y

4 : http://www.ensiie.fr/~dubois/PR_2010/maclean.pdf

Topic revision: r9 - 20 Feb 2015 - 10:15:46 - ThomasMisa
Signed in as lewi0740 (NicLewis) | Sign out
UMWiki UMWiki
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UMWiki? Send feedback