Assessing Quality of Policy Properties in Verification of Access Control Policies.
Evan MartinJeeHyun HwangTao XieVincent C. HuPublished in: ACSAC (2008)
Keyphrases
- access control policies
- access control
- conflict resolution
- formal language
- distributed environment
- security policies
- extended logic programs
- fine grained
- access control systems
- trust negotiation
- security mechanisms
- role based access control
- data mining
- database
- data quality
- model checking
- automated trust negotiation