Andrew W. Appel, Edward W. Felten  Home/Search
Context Related
| princeton.edu/~appel/papers/says.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: princeton.edu/~appel/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have designed and implemented 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. (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
Non-Interference in Constructive Authorization Logic - Deepak Garg And (Correct)
Active bibliography (related documents): More All
0.1: Unknown - (Correct)
0.1: Unknown - Status Of This (Correct)
0.1: Trust Management in Strand Spaces: A Rely-Guarantee.. - Guttman, Thayer.. (2004) (Correct)
Similar documents based on text: More All
0.3: Technological Access Control Interferes with Noninfringing.. - Appel, Felten (2000) (Correct)
0.3: A General and Flexible Access-Control System for the Web - Bauer, Schneider, Felten (2002) (Correct)
0.2: A Stratified Semantics of General References Embeddable in.. - Ahmed, Appel, Virga (2002) (Correct)
Related documents from co-citation: More All
23: A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993
21: System description: Twelf --- a meta-logical framework for deductive systems - Pfenning, Schurmann - 1999
19: SPKI Certificate Theory (context) - Ellison, Frantz et al.
BibTeX entry: (Update)
Andrew W. Appel and Edward W. Felten. Proof-carrying authentication. In 6th ACM Conf. on Computer and Communications Security, Nov. 1999. http://citeseer.ist.psu.edu/appel99proofcarrying.html More
@inproceedings{ appel99proofcarrying,
author = "Andrew W. Appel and Edward W. Felten",
title = "Proof-Carrying Authentication",
booktitle = "{ACM} Conference on Computer and Communications Security",
pages = "52-62",
year = "1999",
url = "citeseer.ist.psu.edu/appel99proofcarrying.html" }
Citations (may not include all citations):566 Proof-Carrying Code - Necula - 1997
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1992
178 Kerberos: An Authentication Service for Computer Networks (context) - Cli, Neuman et al. - 1994
162 A Calculus for Access Control in Distributed Systems - Abadi, Burrows et al. - 1993
156 SDSI -- A Simple Distributed Security Infrastructure - Rivest, Lampson - 1996
136 System Description: Twelf --- A Meta-Logical Framework for D.. - Pfenning, Schurmann - 1999
38 personal communication (context) - Lee - 1999
12 School of Computer Science (context) - Necula, Proofs et al. - 1998
11 The Directory: Authentication Framework (context) - Union, Recommendation - 1997
7 Internet Draft draft-ietf-spki-cert-structure (context) - Ellison, Frantz et al. - 1998
7 cient Representation and Validation of Proofs (context) - Necula, Lee - 1998
6 Distributed Trust Management (context) - Blaze, Feigenbaum et al. - 1996
1 Lightweight Lemmas in Lambda Prolog - Appel, Felty - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.princeton.edu/~appel/papers/): More
Runtime Tags Aren't Necessary - Appel (1988) (Correct)
Traversal-based Visualization of Data Structures - Korn, Appel (1998) (Correct)
Allocation without Locking - Appel (1989) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC