Analysis of XACML Policies with SMT
- 1 January 2015
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Sophisticated Access Control via SMT and Logical FrameworksACM Transactions on Information and System Security, 2014
- PTaCL: A Language for Attribute-Based Access Control in Open SystemsLecture Notes in Computer Science, 2012
- Automated and Efficient Analysis of Role-Based Access Control with AttributesLecture Notes in Computer Science, 2012
- Representing and Reasoning about Web Access Control PoliciesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- EXAM: a comprehensive environment for the analysis of access control policiesInternational Journal of Information Security, 2010
- Automated verification of access control policies using a SAT solverInternational Journal on Software Tools for Technology Transfer, 2008
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Chapter 2 Satisfiability SolversPublished by Elsevier BV ,2008
- Analyzing web access control policiesPublished by Association for Computing Machinery (ACM) ,2007
- Efficient comparison of enterprise privacy policiesPublished by Association for Computing Machinery (ACM) ,2004