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: VM/370 Security
Message-ID: <4819@utzoo.UUCP>
Date: Fri, 21-Dec-84 17:40:19 EST
Article-I.D.: utzoo.4819
Posted: Fri Dec 21 17:40:19 1984
Date-Received: Fri, 21-Dec-84 17:40:19 EST
References: <3558@ecsvax.UUCP> <1539@sdcrdcf.UUCP> <34@rti-sel.UUCP>, <759@amd.UUCP>
Organization: U of Toronto Zoology
Lines: 10

> ...  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