Login / Signup
Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic.
Mark Moulin
Emeka Eyisi
Devu Manikantan Shila
Qinqing Zhang
Published in:
MILCOM (2018)
Keyphrases
</>
temporal logic
automatic construction
cyber physical systems
attack graphs
attack graph
model checking
physical world
cyber security
alert correlation
embedded systems
attack scenarios
network configuration
belief revision
artificial intelligence
critical infrastructure