Partially-Observable Security Games for Attack-Defence Analysis in Software Systems.

Narges Khakpour, David Parker.

22nd International Conference on Software Engineering and Formal Methods (SEFM 2024). 2024.