[news.sysadmin] The Provably Secure Operating System

scs@itivax.UUCP (Steve C. Simmons) (11/21/88)

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."