Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!henry
From: henry@utzoo.UUCP (Henry Spencer)
Newsgroups: net.unix-wizards,net.rumor
Subject: Re: Unix (In)Security
Message-ID: <4754@utzoo.UUCP>
Date: Sat, 8-Dec-84 20:59:10 EST
Article-I.D.: utzoo.4754
Posted: Sat Dec  8 20:59:10 1984
Date-Received: Sat, 8-Dec-84 20:59:10 EST
References: <141@sask.UUCP> <778@milo.UUCP>, <6445@brl-tgr.ARPA>
Organization: U of Toronto Zoology
Lines: 9

> Actually, VM would be alot easier to do than UNIX would.

The problem is not proving "bare" VM secure -- virtual machines are a
good way to tackle security, since they provide such airtight isolation --
but proving the security of a useful application environment, in which
controlled sharing is necessary.  At this point, it stops looking easy.
-- 
				Henry Spencer @ U of Toronto Zoology
				{allegra,ihnp4,linus,decvax}!utzoo!henry