1. Representing and reasoning about web access control policies;Ahn,2010
2. Sophisticated access control via SMT and logical frameworks;Arkoudas;ACM Trans Inform Syst Secur,2014
3. Automated and efficient analysis of role-based access control with attributes;Armando,2012
4. Efficient comparison of enterprise privacy policies;Backes,2004
5. BRESAP: a policy reasoner for processing spectrum access policies represented by binary decision diagrams;Bahrak,2010