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
822 Jul 2014 - 15:08ThomasMisa 
703 Oct 2013 - 15:56norqu036? 
625 Jun 2013 - 12:30NicLewis 
525 Jun 2013 - 10:16NicLewis 
424 Jun 2013 - 14:24NicLewis 
324 Jun 2013 - 11:42NicLewis 
224 Jun 2013 - 11:41NicLewisAttached file ford78.pdf 
124 Jun 2013 - 09:07NicLewis 

Render style:     Context:

 History: r8 < r7 < r6 < r5 < r4
[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 (revision 5)



Ford Aerospace and its SRI International subcontractor originally developed the Kernelized Secure Operating System (KSOS) for the Defense Advanced Research Projects Agency (DARPA) as a provably secure, commercially viable operating system initially for use on the DEC PDP-11/70 minicomputer. The purpose of the KSOS project was to produce a security kernel compatible with the UNIX operating system from Bell Labs. KSOS was designed to handle information of multiple security levels, with the intention of preventing users with insufficient privileges from compromising information, while maintaining full compatibility with the library of UNIX applications without modification to the software. This effort grew out of pioneering security kernel work conducted at The MITRE Corporation under Air Force sponsorship, which demonstrated successfully a security kernel proof-of-concept on the Multics operating system. (1)(2)

  • ford78.pdf: Secure Minicomputer Operating System (KSOS): Executive Summary, 1-2.


Additional Resources:



1 : Lester J. Fraim, "Scomp: A Solution to the Multilevel Security Problem," Computer (July 1983), 26-34.

2 , 4 : lock John P. L. Woodward, "Applications for Multilevel Secure Operating Systems," 319-328, in National Computer Conference 1979, New York: AFIPS Press, 1979, 320. (Login required)

3 : lock E. J. McCauley and P. J. Drongowski, KSOS--The design of a secure operating system," 345-353, in National Computer Conference 1979, New York: AFIPS Press, 1979. (Login required)

Topic attachments
I AttachmentSorted ascending Action Size Date Who Comment
pdfpdf ford78.pdf manage 802.6 K 24 Jun 2013 - 11:41 NicLewis Secure Minicomputer Operating System (KSOS): Executive Summary.
Edit | WYSIWYG | Attach |  PDF |  History: r8 < r7 < r6 < r5 < r4 |  Backlinks |  Raw View | More topic actions...
Topic revision: r5 - 25 Jun 2013 - 10:16:52 - 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