Login / Signup

Reachability Analysis for Attributes in ABAC With Group Hierarchy.

Maanak GuptaRavi S. SandhuTanjila MawlaJames Benson
Published in: IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
  • reachability analysis
  • markov decision processes
  • model checking
  • timed automata
  • state space
  • reinforcement learning
  • video sequences
  • attribute values
  • hierarchical structure
  • temporal logic