Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!godot!harvard!seismo!brl-tgr!ron From: ron@brl-tgr.ARPA (Ron Natalie) Newsgroups: net.unix-wizards,net.rumor Subject: Re: Unix (In)Security Message-ID: <6445@brl-tgr.ARPA> Date: Fri, 7-Dec-84 01:33:07 EST Article-I.D.: brl-tgr.6445 Posted: Fri Dec 7 01:33:07 1984 Date-Received: Sat, 8-Dec-84 07:12:28 EST References: <141@sask.UUCP> <778@milo.UUCP> Organization: Ballistic Research Lab Lines: 7 Xref: watmath net.unix-wizards:10832 net.rumor:579 > > By "secure", I mean something that can run multi-level security in > a provably correct way. Can you imagine trying to formally prove VM secure? > It boggles the mind. > Actually, VM would be alot easier to do than UNIX would.