Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version)

Eric Rothstein-Morris, Sun Jun

This work aims to solve a practical problem, i.e., how to quantify the risk brought upon a system by different attackers. The answer is useful for optimising resource allocation fo…