EditWYSIWYGAttach 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 (revision 7)

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

pls cut out:

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

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

Edit | WYSIWYG | Attach |  PDF |  History: r9 < r8 < r7 < r6 < r5 |  Backlinks |  Raw View | More topic actions...
Topic revision: r7 - 18 Feb 2015 - 15:15:44 - sever408
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