Path: utzoo!attcan!uunet!ncrlnk!ncr-sd!hp-sdd!hplabs!decwrl!purdue!mailrus!umich!itivax!scs
From: scs@itivax.UUCP (Steve C. Simmons)
Newsgroups: news.sysadmin
Subject: The Provably Secure Operating System
Message-ID: <394@itivax.UUCP>
Date: 21 Nov 88 06:09:33 GMT
Reply-To: scs@itivax.UUCP (Steve C. Simmons)
Organization: Industrial Technology Institute
Lines: 7

Peter Denning, in his introduction to Comer's "Operating System Design:
The XINU Approach", mentions "SRI's Provably Secure Operating System
(1975)".  Anybody got a further reference?
-- 
Steve Simmons		...!umix!itivax!scs
Industrial Technology Institute, Ann Arbor, MI.
"You can't get here from here."