Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities.
Michele BarlettaSilvio RaniseLuca ViganòPublished in: STM (2012)
Keyphrases
- automated analysis
- access control policies
- distributed environment
- conflict resolution
- access control
- visual analysis
- biomedical imaging
- access control systems
- formal language
- distributed systems
- loosely coupled
- video analysis
- security policies
- lightweight
- fine grained
- activity recognition
- multi agent
- computing environments
- peer to peer
- computer networks
- data access
- databases
- intelligent agents
- data management
- multi agent systems
- artificial intelligence