Adversarial Formal Semantics of Attack Trees and Related Problems.
Thomas BrihayeSophie PinchinatAlexandre TerefenkoPublished in: GandALF (2022)
Keyphrases
- related problems
- formal semantics
- operational semantics
- er model
- broadly applicable
- logical language
- formal language
- modelling language
- logical reasoning
- multi agent
- first order logic
- modeling language
- relational databases
- theorem prover
- owl dl ontology
- database
- ontology languages
- tree structure
- bayesian networks
- e learning