Documents Related by Co-Citation

173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
54 Design and semantics of a decentralized authorization language – Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon - 2007
109 a logic-based security language – Binder - 2002
349 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
448 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
53 Non-Interference in Constructive Authorization Logic – Deepak Garg, Frank Pfenning - 2006
59 Access control in a core calculus of dependency – Martín Abadi - 2007
60 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
200 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
44 Access Control for the Web via Proof-Carrying Authorization – Ljudevit Bauer - 2003
72 Distributed proving in access-control systems – Lujo Bauer, Scott Garriss, Michael K. Reiter - 2005
176 Authentication in the Taos operating system – Edward Wobber, Michael Burrows - 1994
60 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
284 Design of a role-based trust management framework – Ninghui Li, John C. Mitchell - 2002
33 A type discipline for authorization in distributed systems – Cédric Fournet, Andrew D. Gordon, Sergio Maffeis - 2007
86 Logic in Access Control – Martίn Abadi - 2003
16 Itay Neeman. Dkal: Distributed-knowledge authorization language – Yuri Gurevich - 2008
40 Evidence-based Audit – Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
29 Audit-based compliance control – Jan G Cederquist, Ricardo Corin, Marnix A C Dekker, Sandro Etalle, Jerry I den Hartog, Gabriele Lenzini