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