Sign in
Assessing network authorization policies via reachability analysis.
Cataldo Basile
Daniele Canavese
Christian Pitscheider
Antonio Lioy
Fulvio Valenza
Published in:
Comput. Electr. Eng. (2017)
Keyphrases
</>
reachability analysis
network structure
computer networks
fine grained
markov decision processes
complex networks
access control
role based access control
expert systems
wireless sensor networks
dynamic programming
optimal policy
model checking
timed automata