Improved Reachability Analysis for Security Management.

Cataldo Basile Daniele Canavese Antonio Lioy Christian Pitscheider

Published in: PDP (2013)

Keyphrases

security management
reachability analysis
security policies
model checking
network security
multi tier
markov decision processes
incremental algorithms
timed automata
security issues
cross organizational
data processing
data management
real time
data warehouse
state space
information systems
machine learning