Synthesising verified access control systems in XACML
- 29 October 2004
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2004 ACM workshop on Visualization and data mining for computer security - VizSEC/DMSEC '04
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Synthesising verified access control systems in XACMLPublished by Association for Computing Machinery (ACM) ,2004
- Model-Checking Access Control PoliciesLecture Notes in Computer Science, 2004
- Access control: principles and solutionsSoftware: Practice and Experience, 2003
- Role-based access control modelsComputer, 1996
- Optimal implementation of conjunctive queries in relational data basesPublished by Association for Computing Machinery (ACM) ,1977