Login / Signup
Symbolic reachability analysis for parameterized administrative role-based access control.
Scott D. Stoller
Ping Yang
Mikhail I. Gofman
C. R. Ramakrishnan
Published in:
Comput. Secur. (2011)
Keyphrases
</>
reachability analysis
role based access control
access control
model checking
access rights
markov decision processes
timed automata
rbac model
multi domain
incremental algorithms
data security
information systems
e government
access control models
state space
distributed databases
website