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