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

by Ljudevit Bauer
Citations:44 - 5 self

Documents Related by Co-Citation

173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
349 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
60 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
109 a logic-based security language – Binder - 2002
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
445 Authentication in distributed systems: Theory and practice – Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber - 1992
200 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
86 Logic in Access Control – Martίn Abadi - 2003
54 Design and semantics of a decentralized authorization language – Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon - 2007
94 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
85 A logical framework for reasoning about access control models – Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca - 2003
284 Design of a role-based trust management framework – Ninghui Li, John C. Mitchell - 2002
174 Authentication in the Taos operating system – Edward Wobber, Michael Burrows - 1994
22 An Authorization Logic with Explicit Time – Henry DeYoung, Deepak Garg, Frank Pfenning - 2008
221 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
60 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