Models from Computers & Security paper - RisQFLan/RisQFLan GitHub Wiki

This page provides additional material for the following paper, recently published at Computers & Security:

For reproducibility, we provide a RisQFLan project containing all models and experiments described in the draft.

  • Download the archive from here 
  • Decompress the archive
  • Import the project in RisQFLan:
    • Open RisQFlan. From the top menu bar click on File, and select Import
    • Choose General, select Existing Projects into Workspace and click _Next
    • Click Browse... and locate the folder obtained decompressing the archive. Tick Copy projects into workspace and then hit Finish
  • Analyze a model
    • Open the RisQFLan model of interest from RisQFlan's project explorer, and click the button https://github.com/RisQFLan/RisQFLan/blob/master/m.jpg to run the analysis specified in it.
    • This includes
      • Statistical Model Checking with MultiVeStA
      • Probabilistic Model Checking by exporting the explicit underlying state-space (DTMC) for PRISM or STORM