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:
>
>http://cgi.w3.org/cgi-bin/pstopdf.py?inputAddr=http%3A%2F%2Fwww.cs.princeto
n.edu%2F%7Eappel%2Fpapers%2Fsays.ps&jobid=
>
>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
explained
>> using logic. We show that by starting with the logic, we can implement
these
>> frameworks, all in the same concise and efficient system. Because our
logic
>> has no decision procedure -- although proof checking is simple -- users
of
>> the framework must submit proofs with their requests.
>>
>> Proof-Carrying Authentication. Andrew W. Appel and Edward W. Felten, 6th
ACM
>> 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)
>mailto:connolly.pager@w3.org
>
Received on Friday, 17 March 2000 12:48:34 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 19 August 2005 11:10:28 GMT