Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)
OriginalsprogEngelsk
TitelGraphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
ForlagSpringer
Publikationsdato2017
Sider75-90
ISBN (Trykt)978-3-319-74859-7
ISBN (Elektronisk)978-3-319-74860-3
DOI
StatusUdgivet - 2017
BegivenhedInternational Workshop on Graphical Models for Security - Santa Barbara, USA
Varighed: 21 aug. 201721 aug. 2017

Workshop

WorkshopInternational Workshop on Graphical Models for Security
LandUSA
BySanta Barbara
Periode21/08/201721/08/2017
NavnLecture Notes in Computer Science
ISSN0302-9743

Citer dette

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. I Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (s. 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. s. 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",
pages = "75--90",
booktitle = "Graphical Models for Security",
publisher = "Springer",
address = "Germany",

}

Hansen, RR, Jensen, PG, Larsen, KG, Legay, A & Poulsen, DB 2017, Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata. i 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, s. 75-90, Santa Barbara, USA, 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. s. 75-90 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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

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. I Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer. 2017. s. 75-90. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-74860-3_5