QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification.

Florian Dorfhuber Julia Eisentraut Katharina Klioba Jan Kretínský

Published in: CoRR (2024)

Keyphrases

data sets
data analysis
statistical analysis
database
real time
neural network
genetic algorithm
information systems
website
image analysis
model checking
texture synthesis
forensic analysis