Automated Analysis of Access Control Policies Based on Model Checking.
Anh TruongPublished in: SN Comput. Sci. (2020)
Keyphrases
- automated analysis
- model checking
- access control policies
- access control
- conflict resolution
- temporal logic
- distributed environment
- security policies
- model checker
- fine grained
- symbolic model checking
- visual analysis
- formal verification
- formal specification
- automated verification
- formal methods
- security mechanisms
- verification method
- computation tree logic
- video analysis
- epistemic logic
- bounded model checking
- security requirements
- peer to peer
- distributed systems
- alternating time temporal logic
- sensitive data
- data mining
- security issues
- social networks