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
325 Jun 2013 - 09:27NicLewisAttached file Woodward.pdf

Attached file p12-rushby.pdf 
224 Jun 2013 - 13:43NicLewisAttached file KSOS_design.pdf 
124 Jun 2013 - 11:40NicLewisAttached file ford78.pdf 

Render style:     Context:

 History: r3 < r2 < r1
[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>Systems>SystemsKSOS>SystemsKSOSFiles (25 Jun 2013, NicLewis)

-- NicLewis - 24 Jun 2013
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf KSOS_design.pdf manage 738.2 K 24 Jun 2013 - 13:43 NicLewis McCauley? and Drongowski, KSOS--The design of a secure operating system.
pdfpdf Woodward.pdf manage 912.0 K 25 Jun 2013 - 09:26 NicLewis John P. L. Woodward, "Applications for multilevel secure operating systems."
pdfpdf ford78.pdf manage 802.6 K 24 Jun 2013 - 11:40 NicLewis Secure Minicomputer Operating System (KSOS) Executive Summary
pdfpdf p12-rushby.pdf manage 939.2 K 25 Jun 2013 - 09:27 NicLewis J. M. Rushby, "Design and Verification of Secure Systems."
Topic revision: r3 - 25 Jun 2013 - 09:27:44 - NicLewis
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