Re: Part 2: System Structure

[Tom Bachmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jonathan S. Shapiro wrote:
> On Mon, 2006-05-22 at 15:56 +0200, Tom Bachmann wrote:
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA1
>>
>> Jonathan S. Shapiro wrote:
>>>   The program can check the type of its bank, and possibly decline
>>>   to run.
>>>
>> Just a minor detail, but I believe it cannot. Because if it runs on a
>> transparent bank, the test could have been forged.
> 
> 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) ...
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)

iD8DBQFEcc5wvD/ijq9JWhsRAufxAJ4k9+Mw/zaW/8jRzCqz1xfVJDq3LgCfWvde
kPSMz1Ycaf30Eb58VPfbK7A=
=Z3fr
-----END PGP SIGNATURE-----