Case Studies: Parametric attack-fault trees @ ACSD 2019 and FI

IMITATOR

The version of IMITATOR used to run the experiments is IMITATOR v2.10.4.

Download

• Source code from GitHub
• Binary (Ubuntu-like, Debian-like 64 bits); this binary is standalone and can hence be executed without any external library

ATTop

The ATTop tool is accessible through the Eclipse modeling project

Download

• Source code from GitHub and executable .jar

Models

• IoT device

  • The attack tree modeling the compromise of the IoT device: full_AT-pta.jpg
  • The model in the Imitator format: full_AT.imi
  • Imitator output result file: full_AT.res
  • Galileo input file: IoT_attack.at
  
  

• SpaceX

  • The attack-fault tree modeling SpaceX rocket Falcon 9 explosion: spacex-pta.jpg
  • The model in the Imitator format: spacex.imi
  • Imitator output result file: spacex.res
  • Galileo input file: spacex.at
  
  

• Bank account

  • The model of the simple attack in the Imitator format: bank.imi
  • Imitator output result file: bank.res
  • The model of the simple attack with counter-measure in the Imitator format: bank-cm.imi
  • Imitator output result file: bank-cm.res
  • Galileo input file: bank.at
  
  

LIPN 2019