Re: Part 2: System Structure

[Jonathan S. Shapiro]

On Mon, 2006-05-22 at 16:45 +0200, Tom Bachmann wrote:
> > I do not believe so. The transparency of the bank is completely
> > orthogonal to whether the bank can be authenticated as a particular type
> > of bank.
> > 
> 
> Yes, of course. But if I have access to the programs memory, I can patch
> the test if(opaque_bank(my_bank)) go_on();else abort(); to if(true) ...

As I understand matters, the current proposal is for *read* access, not
*write* access...

shap