- xDomain: Cross-border Proofs of Access Lujo Bauer Limin Jia Michael K. Reiter David Swasey
- Enforcing Non-safety Security Policies with Program Monitors
- ACCESS CONTROL FOR THE WEB VIA PROOF-CARRYING AUTHORIZATION
- Distributed Proving in Access-Control Systems Scott Garriss
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2003; 33:461480 (DOI: 10.1002/spe.516)
- Device-Enabled Authorization in the Grey System
- Real Life Challenges in Access-control Management Lorrie Faith Cranor
- Of Passwords and People: Measuring the Effect of Password-Composition Policies
- Constraining Credential Usage in Logic-Based Access Control Carnegie Mellon University
- Access Control for Home Data Sharing: Attitudes, Needs and Practices
- Composing Expressive Runtime Security Policies
- Effects of Access-Control Policy Conflict-Resolution Methods on Policy-Authoring Usability
- Run-time Enforcement of Nonsafety Policies JAY LIGATTI
- Efficient Proving for Practical Distributed Access-Control Systems Scott Garriss
- Lessons Learned From the Deployment of a Smartphone-Based Access-Control System
- A Linear Logic of Authorization and Knowledge Deepak Garg, Lujo Bauer, Kevin D. Bowers,
- Enforcing Non-safety Security Policies with Program Monitors
- Int J Inf Secur (2005) 4: 216 / Digital Object Identifier (DOI) 10.1007/s10207-004-0046-8 Edit automata: enforcement mechanisms for run-time
- A General and Flexible Access-Control System for the Web Michael A. Schneider
- More Enforceable Security Policies Lujo Bauer, Jarred Ligatti and David Walker
- A Proof-Carrying Authorization System Lujo Bauer Michael A. Schneider Edward W. Felten
- More Enforceable Security Policies Lujo Bauer, Jarred Ligatti and David Walker
- Efficient Proving for Practical Distributed Access-Control Systems
- A User Study of Policy Creation in a Flexible Access-Control System
- A Calculus for Composing Security Policies Lujo Bauer, Jarred Ligatti and David Walker
- Access Control for Home Data Sharing: Attitudes, Needs and Practices
- Types and Effects for Non-Interfering Program Lujo Bauer, Jarred Ligatti and David Walker
- A Language and System for Composing Security Jay Ligatti
- Encountering Stronger Password Requirements: User Attitudes and Behaviors
- Composing Security Policies with Polymer Carnegie Mellon University
- Exploring Reactive Access Control Michelle L. Mazurek
- Expandable Grids for Visualizing and Authoring Computer Security Policies
- A Linear Logic of Authorization and Knowledge Deepak Garg, Lujo Bauer, Kevin D. Bowers,
- More than Skin Deep: Measuring Effects of the Underlying Model on Access-Control System Usability
- User-Controllable Security and Privacy for Pervasive Computing Jason Cornwell, Ian Fette, Gary Hsieh, Madhu Prabaker, Jinghai Rao, Karen Tang, Kami Vaniea,
- Consumable Credentials in Logic-Based Access-Control Systems Kevin D. Bowers Lujo Bauer Deepak Garg Frank Pfenning Michael K. Reiter
- Don't Bump, Shake on It: The Exploitation of a Popular Accelerometer-Based Smart Phone Exchange and Its
