"Partially-Observable Security Games for Attack-Defence Analysis in Software Systems" - Supporting Material

Paper: "Partially-Observable Security Games for Attack-Defence Analysis in Software Systems"
Narges Khakpour and David Parker

Models

Some representative PRISM-games models are:

• input_102vul_1Zone_max_5_1.prism
• input_102vul_2Zone_max_5_1.prism
• input_114vul_1Zone_max_5_1.prism
• input_114vul_2Zone_max_5_1.prism
• input_122vul_1Zone_max_2_1.prism