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

by Ljudevit Bauer
Citations:44 - 5 self

Active Bibliography

200 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
20 Consumable Credentials in Logic-Based Access Control – Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter - 2006
Examining Committee: – Kazuhiro Minami, Sean Smith, George Cybenko, Mustaque Ahamad, Kazuhiro Minami - 2006
5 Constraining Credential Usage in Logic-Based Access Control – Lujo Bauer, Limin Jia, Divya Sharma
784 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
13 Authorization in Trust Management: Features and Foundations – Peter C. Chapin, Christian Skalka, X. Sean Wang
Nexus Authorization Logic (NAL): Design . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer
Nexus Authorization Logic (NAL): . . . – Fred B. Schneider, Kevin Walsh, Emin Gün Sirer - 2011