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 | r6 < r5 < r4 < r3
[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 4)

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

John D. McLean?

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


McLean? began his college education at Oberlin, winning a B.A. in Mathematics in 1974. He moved onto graduate work in Philosophy at UNC Chapel Hill, receiving an M.A. in 1976 and a Ph.D which he was awarded in 1980 along with a M.S. in Computer Science, where he worked 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 NRL in 1980 as a Research Computer Scientist, after being prompted by Parnas (an NRL consultant at the time) to interview with them.

In 1988, McLean? played a major role in creating ITD's Center for High Assurance Computer Systems. 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 | r6 < r5 < r4 < r3 |  Backlinks |  Raw View | More topic actions...
Topic revision: r4 - 12 Feb 2015 - 13:08:53 - 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