W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2009

Re: working on "A Model of Authority in the Web"

From: Dan Connolly <connolly@w3.org>
Date: Thu, 17 Dec 2009 22:08:13 -0600
To: Henry Story <Henry.Story@Sun.COM>
Cc: public-cwm-talk@w3.org, Jonathan Rees <jar@creativecommons.org>
Message-ID: <1261109293.3504.19847.camel@pav.lan>
On Thu, 2009-12-17 at 21:11 +0000, Henry Story wrote:
> Just last week I was arguing in a similar way [1] that one could use some such modal logic
>  to prove that there is a missing HTTP server request, which is causing the latest HTTPS bug [2].

Interesting. Thanks for the pointers.

> [1] http://lists.foaf-project.org/pipermail/foaf-protocols/2009-December/001040.html
> [2] we were made aware of this bug by Melvin's post:
>    http://lists.foaf-project.org/pipermail/foaf-protocols/2009-November/000937.html

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Friday, 18 December 2009 04:08:46 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:06 UTC