-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Jonathan S. Shapiro wrote:
> 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...
>
I am not sure if we can speak about something like a "current proposal"
(at least I can't see where it has been stated).
But yes, this is only true for write access, of course.