Unix (In)Security

[Henry Spencer]

> 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