Reachability analysis for role-based administration of attributes.

Xin Jin Ram Krishnan Ravi S. Sandhu

Published in: Digital Identity Management (2013)

Keyphrases

reachability analysis
model checking
markov decision processes
attribute values
timed automata
state space
incremental algorithms
access control
data mining
artificial intelligence
database design
decision making
markov chain
linear program
temporal logic