Reachability Analysis for Attributes in ABAC with Group Hierarchy.

Maanak Gupta Ravi S. Sandhu

Published in: CoRR (2021)

Keyphrases

reachability analysis
markov decision processes
model checking
incremental algorithms
hierarchical structure
timed automata
real time
state space
attribute values
lower level
np hard
spatial information
functional dependencies
multi attribute
temporal constraints