|
17
|
Consumable Credentials in Logic-Based Access Control
– Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter
- 2006
|
|
7
|
Authorization in Trust Management: Features and Foundations
– Peter C. Chapin, Christian Skalka, X. Sean Wang
|
|
176
|
Delegation Logic: A Logic-based Approach to Distributed Authorization
– Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
- 2000
|
|
1
|
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
|
|
3
|
Logic in Access Control (Tutorial Notes)
– Martín Abadi
|
|
|
Combining Reason and Authority for Authorization of Proof-Carrying Code
– Nathan Whitehead, Nathan Whitehead
- 2004
|
|
11
|
Distributed programming with distributed authorization ∗
– Kumar Avijit, Anupam Datta, Robert Harper
|
|
75
|
Logic in Access Control
– Martίn Abadi
- 2003
|
|
10
|
Trust Management for Widely Distributed Systems
– Walt Teh-ming Yao
- 2003
|
|
13
|
By reason and authority: A system for authorization of proof-carrying code
– Nathan Whitehead
- 2004
|
|
55
|
Device-Enabled Authorization in the Grey System
– Lujo Bauer, Scott Garriss, Jonathan M. Mccune, Michael K. Reiter, Jason Rouse, Peter Rutenbar
- 2005
|
|
|
Distributed System Security via . . .
– Lujo Bauer, Frank Pfenning, Michael K. Reiter
- 2005
|
|
43
|
Beyond proof-of-compliance: security analysis in trust management
– Ninghui Li, John C. Mitchell, William H. Winsborough
- 2005
|
|
61
|
Distributed proving in access-control systems
– Lujo Bauer, Scott Garriss, Michael K. Reiter
- 2005
|
|
27
|
Understanding SPKI/SDSI using first-order logic
– Ninghui Li, John C. Mitchell
- 2003
|
|
10
|
A proof-carrying file system
– Deepak Garg, Frank Pfenning
- 2009
|
|
95
|
RT: A Role-based Trust-management Framework
– Ninghui Li, John C. Mitchell
- 2003
|
