Proof-Carrying Authentication (1999)

Cached

Download Links

by Andrew W. Appel , Edward W. Felten
Venue:In Proceedings of the 6th ACM Conference on Computer and Communications Security
Citations:177 - 6 self

Documents Related by Co-Citation

349 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
105 On SDSI's Linked Local Name Spaces – Martín Abadi - 1998
176 Authentication in the Taos operating system – Edward Wobber, Michael Burrows - 1994
448 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
109 a logic-based security language – Binder - 2002
200 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
35 A security infrastructure for distributed Java applications – Dirk Balfanz - 2000
826 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
66 A General and Flexible Access-Control System for the Web – Lujo Bauer , Michael A. Schneider, Edward W. Felten - 2002
310 SDSI - A Simple Distributed Security Infrastructure – Ronald L. Rivest, Butler Lampson - 1996
263 The KeyNote trust-management system version 2. Network Working Group, RFC 2704 – Matt Blaze, Joan Feigenbaum, John Ioannidis, Angelos D Keromytis - 1999
82 Compliance Checking in the PolicyMaker Trust Management System – Matt Blaze, Joan Feigenbaum, Martin Strauss - 1998
29 Certificate Discovery Using SPKI/SDSI 2.0 Certificates – Jean-Emile Elien - 1998
179 KeyNote: Trust Management for Public-Key Infrastructures – Matt Blaze, Joan Feigenbaum, Angelos D. Keromytis - 1998
94 Datalog with Constraints: A Foundation for Trust Management Languages – Ninghui Li, John C. Mitchell - 2003
44 Access Control for the Web via Proof-Carrying Authorization – Ljudevit Bauer - 2003
284 Design of a role-based trust management framework – Ninghui Li, John C. Mitchell - 2002
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
38 der Meyden. A logic for SDSI’s linked local name spaces – J Halpern, R van