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

by Ljudevit Bauer
Citations:47 - 6 self

Active Bibliography

21 Consumable Credentials in Logic-Based Access Control – Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter - 2006
5 Constraining Credential Usage in Logic-Based Access Control – Lujo Bauer, Limin Jia, Divya Sharma
Nexus Authorization Logic (NAL): . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer - 2011
Nexus Authorization Logic (NAL): Design . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer
13 Authorization in Trust Management: Features and Foundations – Peter C. Chapin, Christian Skalka, X. Sean Wang
198 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
Combining Reason and Authority for Authorization of Proof-Carrying Code – Nathan Whitehead, Nathan Whitehead - 2004
20 Distributed programming with distributed authorization ∗ – Kumar Avijit, Anupam Datta, Robert Harper
6 Logic in Access Control (Tutorial Notes) – Martín Abadi
13 By reason and authority: A system for authorization of proof-carrying code – Nathan Whitehead - 2004
11 Trust Management for Widely Distributed Systems – Walt Teh-ming Yao - 2003
Distributed System Security via . . . – Lujo Bauer, Frank Pfenning, Michael K. Reiter - 2005
19 A proof-carrying file system – Deepak Garg, Frank Pfenning - 2009
90 Logic in Access Control – Martίn Abadi - 2003
105 RT: A Role-based Trust-management Framework – Ninghui Li, John C. Mitchell - 2003
64 Device-Enabled Authorization in the Grey System – Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar - 2005
2 RULE-BASED POLICY SPECIFICATION – Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla
4 On improving the performance of role-based cascaded delegation in ubiquitous computing – Danfeng Yao, Roberto Tamassia - 2005
AURA -- A Programming Language for . . . – Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic - 2008