Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationGraphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
PublisherSpringer
Publication date2017
Pages75-90
ISBN (Print)978-3-319-74859-7
ISBN (Electronic)978-3-319-74860-3
DOIs
Publication statusPublished - 2017
EventInternational Workshop on Graphical Models for Security - Santa Barbara, United States
Duration: 21 Aug 201721 Aug 2017

Workshop

WorkshopInternational Workshop on Graphical Models for Security
CountryUnited States
CitySanta Barbara
Period21/08/201721/08/2017
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A., & Poulsen, D. B. (2017). Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. In Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (pp. 75-90). Springer. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-74860-3_5
Hansen, Rene Rydhof ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Legay, Axel ; Poulsen, Danny Bøgsted. / Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, 2017. pp. 75-90 (Lecture Notes in Computer Science).
@inproceedings{3627cfec00694ae387ce863879a29e72,
title = "Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata",
author = "Hansen, {Rene Rydhof} and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",
year = "2017",
doi = "10.1007/978-3-319-74860-3_5",
language = "English",
isbn = "978-3-319-74859-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "75--90",
booktitle = "Graphical Models for Security",
address = "Germany",

}

Hansen, RR, Jensen, PG, Larsen, KG, Legay, A & Poulsen, DB 2017, Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. in Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, Lecture Notes in Computer Science, pp. 75-90, International Workshop on Graphical Models for Security, Santa Barbara, United States, 21/08/2017. https://doi.org/10.1007/978-3-319-74860-3_5

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. / Hansen, Rene Rydhof; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted.

Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, 2017. p. 75-90 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

TY - GEN

T1 - Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

AU - Hansen, Rene Rydhof

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Poulsen, Danny Bøgsted

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-74860-3_5

DO - 10.1007/978-3-319-74860-3_5

M3 - Article in proceeding

SN - 978-3-319-74859-7

T3 - Lecture Notes in Computer Science

SP - 75

EP - 90

BT - Graphical Models for Security

PB - Springer

ER -

Hansen RR, Jensen PG, Larsen KG, Legay A, Poulsen DB. Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. In Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer. 2017. p. 75-90. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-74860-3_5