Towards a Formal Verification of Attack Graphs.
Davide CattaJean LeneutreVadim MalvonePublished in: IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Keyphrases
- formal verification
- attack graphs
- attack graph
- model checking
- model checker
- bounded model checking
- automated verification
- network configuration
- symbolic model checking
- optimal solution
- cost function
- artificial intelligence
- temporal logic
- cryptographic protocols
- web services
- security vulnerabilities
- attack scenarios
- knowledge base