On 6/7/06, Bas Wijnen <[EMAIL PROTECTED]> 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
[EMAIL PROTECTED]
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
