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!bonnie!akgua!sdcsvax!sdcrdcf!hplabs!hao!seismo!brl-tgr!tgr!ron@BRL-TGR.ARPA
From: ron@BRL-TGR.ARPA
Newsgroups: net.unix-wizards
Subject: Re: Unix (In)Security
Message-ID: <6531@brl-tgr.ARPA>
Date: Sun, 9-Dec-84 03:49:11 EST
Article-I.D.: brl-tgr.6531
Posted: Sun Dec  9 03:49:11 1984
Date-Received: Tue, 11-Dec-84 02:45:48 EST
Sender: news@brl-tgr.ARPA
Organization: Ballistic Research Lab
Lines: 7


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