VM/370 Security

[Henry Spencer]

> ...  I have the feeling that it should be quite easy to verify 
> that VM is secure, in the sense that one user cannot obtain or alter the data
> of another user without permission.  Sharing mini-disks requires that 
> permission.

That's exactly where the problem lies:  sharing.  Isolation is easy (well,
relatively easy) to verify.  Controlled sharing is the hard part.
-- 
				Henry Spencer @ U of Toronto Zoology
				{allegra,ihnp4,linus,decvax}!utzoo!henry