Attack Trees in Isabelle - CTL semantics, correctness and completeness.
Florian KammüllerPublished in: CoRR (2018)
Keyphrases
- formal semantics
- model checking
- epistemic logic
- abstract argumentation
- temporal logic
- theorem prover
- alternating time temporal logic
- decision trees
- logic programming
- computation tree logic
- tree structure
- operational semantics
- tree models
- minimal change
- temporal properties
- secret key
- logical framework
- dos attacks
- control flow
- linear temporal logic
- qualitative preferences
- data quality