ADTLang: a programming language approach to attack defense trees
Article in International Journal on Software Tools for Technology Transfer (January 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Graphical Models for Security
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Graphical Modeling of Security Arguments: Current State and Future Directions
-
Altmetric BadgeChapter 2 Evil Twins: Handling Repetitions in Attack–Defense Trees
-
Altmetric BadgeChapter 3 Visualizing Cyber Security Risks with Bow-Tie Diagrams
-
Altmetric BadgeChapter 4 CSIRA: A Method for Analysing the Risk of Cybersecurity Incidents
-
Altmetric BadgeChapter 5 Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata
-
Altmetric BadgeChapter 6 Probabilistic Modeling of Insider Threat Detection Systems
-
Altmetric BadgeChapter 7 Security Modeling for Embedded System Design
-
Altmetric BadgeChapter 8 Circle of Health Based Access Control for Personal Health Information Systems
-
Altmetric BadgeChapter 9 New Directions in Attack Tree Research: Catching up with Industrial Needs
-
Altmetric BadgeChapter 10 Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach
Attention for Chapter 5:
Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata