Synthesising verified access control systems in XACML.
Nan ZhangMark RyanDimitar P. GuelevPublished in: FMSE (2004)
Keyphrases
- access control systems
- access control
- access control policies
- security policies
- conflict resolution
- fine grained
- distributed environment
- data security
- role based access control
- security mechanisms
- access control mechanism
- access rights
- security requirements
- access control models
- multi domain
- network security
- information systems
- database
- lightweight
- metadata