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.