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

DORFHUBER, Florian Sebastian, Julia EISENTRAUT, Katharina KLIOBA and Jan KŘETÍNSKÝ. QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. Online. QEST 2024: Springer, 2024. Available from: https://dx.doi.org/10.1007/978-3-031-68416-6_4.

Basic information

Original name

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

Name in Czech

QuADTool: Syntéza útočného a obranného stromu, analýza a most k verifikaci

Authors

DORFHUBER, Florian Sebastian, Julia EISENTRAUT, Katharina KLIOBA and Jan KŘETÍNSKÝ

Edition

QEST 2024, 2024

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

References:

URL

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1007/978-3-031-68416-6_4