Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach.
Alessandro ArmandoRoberto CarboneSilvio RanisePublished in: ICSC (2011)
Keyphrases
- automated analysis
- access control policies
- conflict resolution
- access control
- formal language
- extended logic programs
- access control systems
- biomedical imaging
- defeasible logic
- distributed environment
- security policies
- visual analysis
- logic programming
- trust negotiation
- fine grained
- security mechanisms
- modal logic
- video analysis
- information systems
- security requirements
- information flow
- knowledge discovery
- machine learning