|
| From: | Michael D. Adams |
| Subject: | Re: Some thoughts |
| Date: | Wed, 7 Jun 2006 07:20:15 -0400 |
On 6/7/06, Bas Wijnen <address@hidden> wrote:
On Wed, Jun 07, 2006 at 01:20:07AM -0400, Jonathan S. Shapiro wrote: > Technically, no. What it does is attestation, not verification. Eh, what's the difference? I meant it can be used (by a remote party) to verify what system is running on a computer.
The term verification implies using mathematical proof. http://en.wikipedia.org/wiki/Formal_verification Back to lurking, Michael D. Adams address@hidden
| [Prev in Thread] | Current Thread | [Next in Thread] |