[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Part 2: System Structure
From: |
Jonathan S. Shapiro |
Subject: |
Re: Part 2: System Structure |
Date: |
Mon, 22 May 2006 10:33:13 -0400 |
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.
Unfortunately, in removing the constructor, Hurd-NG lost authentication
(at least in the current form) and with it any means to perform this
type of test.
Note that authenticating implementations is important for certain kinds
of integrity dependencies -- not just for this purpose.
shap
- Re: Part 2: System Structure, (continued)
- Re: Part 2: System Structure, Bas Wijnen, 2006/05/18
- Re: Part 2: System Structure, Jonathan S. Shapiro, 2006/05/18
- Re: Part 2: System Structure, Bas Wijnen, 2006/05/18
- Re: Part 2: System Structure, Jonathan S. Shapiro, 2006/05/18
- Re: Part 2: System Structure, Bas Wijnen, 2006/05/19
- Re: Part 2: System Structure, Jonathan S. Shapiro, 2006/05/19
- Re: Part 2: System Structure, Tom Bachmann, 2006/05/22
- Re: Part 2: System Structure,
Jonathan S. Shapiro <=
- Re: Part 2: System Structure, Tom Bachmann, 2006/05/22
- Re: Part 2: System Structure, Jonathan S. Shapiro, 2006/05/22
- Re: Part 2: System Structure, Tom Bachmann, 2006/05/22
- Re: Part 2: System Structure, Michal Suchanek, 2006/05/22
- Re: Part 2: System Structure, Pierre THIERRY, 2006/05/22
- Re: Part 2: System Structure, Marcus Brinkmann, 2006/05/22
- Re: Part 2: System Structure, Bas Wijnen, 2006/05/22
- Re: Part 2: System Structure, Tom Bachmann, 2006/05/23
- Re: Part 2: System Structure, Bas Wijnen, 2006/05/23
- Re: Part 2: System Structure, Jonathan S. Shapiro, 2006/05/23