Login / Signup

Quantitative Attack Tree Analysis via Priced Timed Automata.

Rajesh KumarEnno RuijtersMariëlle Stoelinga
Published in: FORMATS (2015)
Keyphrases
  • timed automata
  • machine learning
  • data analysis
  • statistical analysis
  • countermeasures
  • reachability analysis