Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version).
Michele BarlettaSilvio RaniseLuca ViganòPublished in: CoRR (2012)
Keyphrases
- automated analysis
- access control policies
- distributed environment
- conflict resolution
- formal language
- access control
- distributed systems
- visual analysis
- video analysis
- access control systems
- security policies
- loosely coupled
- mobile agents
- fine grained
- vocal cord
- trust negotiation
- knowledge discovery
- security mechanisms
- peer to peer
- computational intelligence