On Tue, Jun 06, 2006 at 03:40:07PM +0200, Ludovic Court?s wrote: > > 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.
That may be what it's meant for, but it's not what it does. What it does is verification (by means of a signature of a trusted (secret) key on the code). This verification can (and will) be used for certification, indeed, but the hardware doesn't actually do that, and could be used for other things if desired (although I don't see any other use for OS verification). Thanks, Bas -- I encourage people to send encrypted e-mail (see http://www.gnupg.org). If you have problems reading my e-mail, use a better reader. Please send the central message of e-mails as plain text in the message body, not as HTML and definitely not as MS Word. Please do not use the MS Word format for attachments either. For more information, see http://129.125.47.90/e-mail.html
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
