Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications.
Emsaieb GeepallaPublished in: CyberSec (2014)
Keyphrases
- access control
- timed automata
- fine grained
- security policies
- data security
- dynamic access control
- role based access control
- security model
- security mechanisms
- access control policies
- identity management
- security architecture
- access control models
- model checking
- role based access control model
- database security
- security requirements
- theorem prover
- databases
- database
- real time systems
- theorem proving
- usage control