Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.6.2.17 $; site uokvax.UUCP
Path: utzoo!watmath!clyde!cbosgd!ihnp4!inuxc!pur-ee!uiucdcs!uokvax!emks
From: emks@uokvax.UUCP
Newsgroups: net.unix-wizards
Subject: Secure UNIX Kernel Development
Message-ID: <6200034@uokvax.UUCP>
Date: Mon, 10-Dec-84 00:02:00 EST
Article-I.D.: uokvax.6200034
Posted: Mon Dec 10 00:02:00 1984
Date-Received: Thu, 6-Dec-84 03:49:33 EST
Lines: 13
Nf-ID: #N:uokvax:6200034:000:443
Nf-From: uokvax!emks    Dec  2 23:02:00 1984

Does anyone know of successful or failed attempts at designing a secure
UNIX kernel?  I'm curious how the design differed from the vanilla kernel
and how software validation/compartmentation happened.  Also, was there
an attempt to tag each file with its level of sensitivity?

Please reply via mail.  If enough others are interested, I'll post a
summary of the responses.

		kurt

U.S.P.S.:  2420 Bonnybrook Street
	   Norman OK 73071-4324