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