Access Control for the Web via Proof-Carrying Authorization (2003)

by Ljudevit Bauer
Citations:47 - 6 self

Documents Related by Co-Citation

179 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
352 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
64 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
110 a logic-based security language – Binder - 2002
55 Non-Interference in Constructive Authorization Logic – Deepak Garg, Frank Pfenning - 2006
63 Access control in a core calculus of dependency – Martín Abadi - 2006
443 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
198 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
90 Logic in Access Control – Martίn Abadi - 2003
55 Design and semantics of a decentralized authorization language – Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon - 2007
95 Datalog with Constraints: A Foundation for Trust Management Languages – Ninghui Li, John C. Mitchell - 2003
72 Distributed proving in access-control systems – Lujo Bauer, Scott Garriss, Michael K. Reiter - 2005
84 A logical framework for reasoning about access control models – Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca - 2003
285 Design of a role-based trust management framework – Ninghui Li, John C. Mitchell - 2002
176 Authentication in the Taos operating system – Edward Wobber, Michael Burrows - 1994
26 An Authorization Logic with Explicit Time – Henry DeYoung, Deepak Garg, Frank Pfenning - 2008
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
61 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
20 Alpaca: extensible authorization for distributed services – Chris Lesniewski-laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek - 2007