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
609 Sep 2015 - 10:27ThomasMisa 
505 Mar 2014 - 10:54norqu036? 
403 Oct 2013 - 14:39norqu036? 
319 Mar 2013 - 12:34NicLewis 
225 Feb 2013 - 10:26NicLewis 
121 Feb 2013 - 08:50NicLewis 

Render style:     Context:

 History: r6 < r5 < r4 < r3 < r2
[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>Mechanisms>MechanismsHighAssurance (revision 4)

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

High Assurance


High Assurance in computer security refers to the verification that a computer system adheres to a formal design specification based upon a mathematically proven security model.(1) In the TCSEC "Orange Book," the distinguishing characteristic between an A1 and a B3 security rating is the verification that an A1 computer system meets the mandatory high assurance criteria.(2)


1 : http://www.darpa.mil/Our_Work/I2O/Programs/High-Assurance_Cyber_Military_Systems_(HACMS).aspx

2 : TCSEC.pdf - The "Orange Book" Trusted Computer System Evaluation Criteria (TCSEC).

Edit | WYSIWYG | Attach |  PDF |  History: r6 < r5 < r4 < r3 < r2 |  Backlinks |  Raw View | More topic actions...
Topic revision: r4 - 03 Oct 2013 - 14:39:43 - norqu036
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