Modelling Attack-defense Trees Using Timed Automata.
Olga GadyatskayaRené Rydhof HansenKim Guldstrand LarsenAxel LegayMads Chr. OlesenDanny Bøgsted PoulsenPublished in: FORMATS (2016)
Keyphrases
- timed automata
- model checking
- ddos attacks
- defense mechanisms
- reachability analysis
- theorem prover
- decision trees
- theorem proving
- first order logic
- intrusion detection
- network security
- detection mechanism
- advanced research projects agency
- tree structure
- smart card
- data mining
- countermeasures
- secret key
- expert systems
- key exchange protocol
- knowledge base