A Formal Verification Approach to Handle Attack Graphs.

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone

Browse the full ICAART paper archive.