Documents Related by Co-Citation

742 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
403 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
315 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
163 Authentication in the Taos Operating System – Edward Wobber, Martín Abadi, Michael Burrows, Butler Lampson - 1994
96 On SDSI's Linked Local Name Spaces – Martín Abadi - 1998
79 Compliance Checking in the PolicyMaker Trust Management System – Matt Blaze, Joan Feigenbaum, Martin Strauss - 1998
161 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
172 A Logical Language for Expressing Authorizations – Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian - 1997
100 a logic-based security language – Binder - 2002
134 SD3: A Trust Management System With Certified Evaluation – T Jim - 2001
246 Design of a role-based trust management framework – Ninghui Li, John C. Mitchell - 2002
35 der Meyden. A logic for SDSI’s linked local name spaces – J Halpern, R van
944 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
2057 Handbook of Applied Cryptography – Alfred J. Menezes, Paul C. Van Oorschot, Scott A. Vanstone, R. L. Rivest - 1997
360 The Official PGP User’s Guide – Philip R Zimmermann - 1995
61 A General and Flexible Access-Control System for the Web – Lujo Bauer , Michael A. Schneider, Edward W. Felten - 2002
85 Datalog with Constraints: A Foundation for Trust Management Languages – Ninghui Li, John C. Mitchell - 2003
176 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
24 Local Names In SPKI/SDSI – Ninghui Li - 2000