[TLE22]
Paul Tavolato, Robert Luh and Sebastian Eresheim.
Formalizing Real-world Threat Scenarios.
In Proc. 8th International Conference on Information Systems Security and Privacy (ICISSP'22).
2022.
[Uses PRISM-games to formalise attacker-defender scenarios for threat analysis.]
|
