Symbolic reachability analysis for parameterized administrative role based access control.
Scott D. StollerPing YangMikhail I. GofmanC. R. RamakrishnanPublished in: SACMAT (2009)
Keyphrases
- reachability analysis
- role based access control
- access control
- markov decision processes
- model checking
- access rights
- timed automata
- multi domain
- rbac model
- data security
- information systems
- incremental algorithms
- access control models
- state space
- access control systems
- e government
- access control mechanism
- digital rights management
- theorem prover
- reinforcement learning
- security policies