W3C home > Mailing lists > Public > sw99@w3.org > January to March 2000

Fw: Proof-carrying authentication Re: Thanks

From: Tim Berners-Lee <timbl@w3.org>
Date: Fri, 17 Mar 2000 12:48:33 -0500
Message-ID: <037201bf9039$039b53b0$84001d12@politburo.w3.org>
To: <sw99@w3.org>
Cc: <jfa@w3.org>

-----Original Message-----
From: Dan Connolly <connolly@w3.org>
To: Tim Berners-Lee <timbl@w3.org>
Cc: Ron Rivest <rivest@theory.lcs.mit.edu>; timbl@lcs.mit.edu
<timbl@lcs.mit.edu>; blampson@microsoft.com <blampson@microsoft.com>;
dnj@lcs.mit.edu <dnj@lcs.mit.edu>; kaashoek@lcs.mit.edu
<kaashoek@lcs.mit.edu>; swick@w3.org <swick@w3.org>
Date: Thursday, March 16, 2000 6:28 PM
Subject: Re: Proof-carrying authentication Re: Thanks

>Tim Berners-Lee wrote:
>> David Wagner just pointed  me at the following which seems to be an
>> implementatoin of exactly the ideas we were discussing.
>wow... (quick read of the paper...) indeed.
>Well... so much for the research part of the Semantic Web
>Development initiative--the only stuff left is engineering,
>i.e. changing ()s to <>s, maybe translating from ML to java,
>and implementing some applications (figuring out revocation
>timing, etc.)
>>   http://www.cs.princeton.edu/sip/projects/pca/
>I took http://www.cs.princeton.edu/~appel/papers/says.ps
>and ran it thru the ps-to-pdf service
> http://cgi.w3.org/cgi-bin/pstopdf.py
>to produce:
> ftp://ftp.babinszki.com/pub/out/www.cs.princeton.edu-72233781.pdf
>so that I could read it on my postscript-ignorant desktop.
>The babinski.com folks delete the /out/ stuff every once in a while
>(I think) but you can always get it back via:
>Hmm... actually, I think I need to follow the LF citation too...
>>  Proof-Carrying Authentication
>>   Andrew Appel, Edward Felten, Michael Schneider
>> We are designing and implementing a general and powerful distributed
>> authentication framework based on higher-order logic. Authentication
>> frameworks -- including Taos, SPKI, SDSI, and X.509 -- have been
>> using logic. We show that by starting with the logic, we can implement
>> frameworks, all in the same concise and efficient system. Because our
>> has no decision procedure -- although proof checking is simple -- users
>> the framework must submit proofs with their requests.
>> Proof-Carrying Authentication. Andrew W. Appel and Edward W. Felten, 6th
>> Conference on Computer and Communications Security, November 1999.
>Dan Connolly, W3C http://www.w3.org/People/Connolly/
>office phone (thru approx. Mar 2000) tel:+1-512-310-2971
>pager (put return tel# in From or Subject field)
Received on Friday, 17 March 2000 12:48:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:02:51 UTC