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.