"Quantitative Verification and Synthesis of Attack-Defence Scenarios" - Supporting Material

Paper: "Quantitative Verification and Synthesis of Attack-Defence Scenarios"
Zaruhi Aslanyan, Flemming Nielson and David Parker

The XML-to-PRISM-games translation tool ADT2PRISM referenced in the paper is here:

• ADT2PRISM.zip

An example of an XML file taken as input is:

• ntree3.xml

Some of the generated PRISM-games models from the paper, and accompanying properties are here:

• adt-infect.prism, adt-infect.props
• adt-infect-mdp.prism, adt-infect-mdp.props
• adt-rfid.prism, adt-rfid.props