Formal Engineering of XACML Access Control Policies in VDM++.
Jeremy W. BryansJohn S. FitzgeraldPublished in: ICFEM (2007)
Keyphrases
- access control policies
- access control
- formal language
- conflict resolution
- distributed environment
- security policies
- access control systems
- extended logic programs
- fine grained
- data security
- role based access control
- security requirements
- security mechanisms
- distributed systems
- software engineering
- information flow
- sensitive data
- artificial intelligence
- trust management
- data integration