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:183 - 6 self

Documents Related by Co-Citation

378 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
470 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
889 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
182 Authentication in the Taos operating system – Edward Wobber, Michael Burrows - 1994
109 On SDSI's Linked Local Name Spaces – Martín Abadi - 1998
115 a logic-based security language – Binder - 2002
220 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
328 SDSI - A Simple Distributed Security Infrastructure – Ronald L. Rivest, Butler Lampson - 1996
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993