A formal modeling and analysis approach for access control rules, policies, and their combinations

A uniform approach for access control and business models with explicit rule realization

(2015) Vahid R. Karimi et al.   International Journal of Information Security

Sophisticated Access Control via SMT and Logical Frameworks

(2014) Konstantine Arkoudas et al.   ACM Transactions on Information and System Security

Access control via belnap logic

(2011) Glenn Bruns et al.   ACM Transactions on Information and System Security

Satisfiability modulo theories

(2011) Leonardo De Moura et al.   COMMUNICATIONS OF THE ACM

Using OWL and SWRL to represent and reason with situation-based access control policies

(2011) Dizza Beimel et al.   DATA & KNOWLEDGE ENGINEERING

Swarm Verification Techniques

(2010) Gerard J. Holzmann et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Using First-Order Logic to Reason about Policies

(2008) Joseph Y. Halpern et al.   ACM Transactions on Information and System Security

Towards Formal Verification of Role-Based Access Control Policies

(2008) S. Jha et al.   IEEE Transactions on Dependable and Secure Computing

Automated analysis of security-design models

(2008) David Basin et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Automated verification of access control policies using a SAT solver

(2008) Graham Hughes et al.   International Journal on Software Tools for Technology Transfer