W3C home > Mailing lists > Public > w3c-ietf-xmldsig@w3.org > July to September 1999

RE: on criticality flags

From: Phillip M Hallam-Baker <pbaker@verisign.com>
Date: Thu, 29 Jul 1999 12:25:30 -0400
To: "Joseph M. Reagle Jr." <reagle@w3.org>
Cc: "Barb Fox (Exchange)" <bfox@Exchange.Microsoft.com>, "John Boyer" <jboyer@uwi.com>, "'DSig Group'" <w3c-ietf-xmldsig@w3.org>
Message-ID: <000001bed9de$fa6458c0$6e07a8c0@pbaker-pc.verisign.com>


> Had you been at the meeting, hopefully I would've convinced you this is a
> trust application decision  <smile>, and is not related to whether
> (valid:signed-resource == true)

Regadless of what you classify the issue as the issue has to be dealt
with.

> (As I continue on in my bungled notation! Any logic weenies out there?)

Yes, I can send you a copy of my D.Phil which just happens to be on the
topic of formal methods.

If you want to build a formal model my choice would be to employ typed
set theory in the manner of Z or VDM.

Or given that it is the summer it is quite likely you can find Joe Stoy
on the 4th floor of 545 Technology Square.

		Phill
Received on Thursday, 29 July 1999 12:24:19 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 13 January 2005 12:10:07 GMT