Re: Some thoughts

l4-hurd

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Some thoughts

From:	Ludovic Courtès
Subject:	Re: Some thoughts
Date:	Tue, 06 Jun 2006 15:40:07 +0200
User-agent:	Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux)

Salut,

Jean-Christophe Haessig <address@hidden> writes:

> Not that I disprove or dismiss the use of TC for OS verification,

Just a bit of nitpicking: TC is not about software verification, but
about software *certification*, i.e., certification by a "certification
authority".  This is very different.

Thanks,
Ludovic.

[Prev in Thread]

Current Thread

[Next in Thread]

Some thoughts, Jean-Christophe Haessig, 2006/06/04
- Re: Some thoughts, Bas Wijnen, 2006/06/05
- Re: Some thoughts, Ludovic Courtès <=
  - Re: Some thoughts, Bas Wijnen, 2006/06/06
    - Re: Some thoughts, Jonathan S. Shapiro, 2006/06/07
    - Re: Some thoughts, Bas Wijnen, 2006/06/07
    - Re: Some thoughts, Michael D. Adams, 2006/06/07
    - Re: Some thoughts, Ludovic Courtès, 2006/06/08

Prev by Date: Re: Restricted storage
Next by Date: Confinement (even with TPMs) and DRM are not mutually exclusive
Previous by thread: Re: Some thoughts
Next by thread: Re: Some thoughts
Index(es):
- Date
- Thread