A Formal Verification Approach to Handle Attack Graphs.

Davide Catta Jean Leneutre Antonina Mijatovic Johanna Ulin Vadim Malvone

Published in: ICAART (3) (2024)

Keyphrases

formal verification
attack graphs
model checking
attack graph
model checker
symbolic model checking
bounded model checking
automated verification
temporal logic
formal specification
attack scenarios
information systems
dynamic programming
security vulnerabilities