Modelling Attack-defense Trees Using Timed Automata

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

17 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems
PublisherSpringer
Publication date2016
Pages35-50
ISBN (Print)978-3-319-44877-0
ISBN (Electronic)978-3-319-44878-7
DOIs
Publication statusPublished - 2016
Event14th International Conference on Formal Modelling and Analysis of Timed Systems - Quebec City, Canada
Duration: 24 Aug 201626 Aug 2016
Conference number: 14
http://formats2016.lsv.fr/

Conference

Conference14th International Conference on Formal Modelling and Analysis of Timed Systems
Number14
CountryCanada
CityQuebec City
Period24/08/201626/08/2016
Internet address
SeriesLecture Notes in Computer Science
Volume9884
ISSN0302-9743

Cite this

Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C., & Poulsen, D. B. (2016). Modelling Attack-defense Trees Using Timed Automata. In Formal Modeling and Analysis of Timed Systems (pp. 35-50). Springer. Lecture Notes in Computer Science, Vol.. 9884 https://doi.org/10.1007/978-3-319-44878-7_3
Gadyatskaya, Olga ; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand ; Legay, Axel ; Olesen, Mads Chr. ; Poulsen, Danny Bøgsted. / Modelling Attack-defense Trees Using Timed Automata. Formal Modeling and Analysis of Timed Systems. Springer, 2016. pp. 35-50 (Lecture Notes in Computer Science, Vol. 9884).
@inproceedings{d81f475f4c4b443f932b8166e3c0401c,
title = "Modelling Attack-defense Trees Using Timed Automata",
author = "Olga Gadyatskaya and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand} and Axel Legay and Olesen, {Mads Chr.} and Poulsen, {Danny B{\o}gsted}",
year = "2016",
doi = "10.1007/978-3-319-44878-7_3",
language = "English",
isbn = "978-3-319-44877-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "35--50",
booktitle = "Formal Modeling and Analysis of Timed Systems",
address = "Germany",

}

Gadyatskaya, O, Hansen, RR, Larsen, KG, Legay, A, Olesen, MC & Poulsen, DB 2016, Modelling Attack-defense Trees Using Timed Automata. in Formal Modeling and Analysis of Timed Systems. Springer, Lecture Notes in Computer Science, vol. 9884, pp. 35-50, 14th International Conference on Formal Modelling and Analysis of Timed Systems, Quebec City, Canada, 24/08/2016. https://doi.org/10.1007/978-3-319-44878-7_3

Modelling Attack-defense Trees Using Timed Automata. / Gadyatskaya, Olga; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted.

Formal Modeling and Analysis of Timed Systems. Springer, 2016. p. 35-50 (Lecture Notes in Computer Science, Vol. 9884).

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

TY - GEN

T1 - Modelling Attack-defense Trees Using Timed Automata

AU - Gadyatskaya, Olga

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Olesen, Mads Chr.

AU - Poulsen, Danny Bøgsted

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-319-44878-7_3

DO - 10.1007/978-3-319-44878-7_3

M3 - Article in proceeding

SN - 978-3-319-44877-0

T3 - Lecture Notes in Computer Science

SP - 35

EP - 50

BT - Formal Modeling and Analysis of Timed Systems

PB - Springer

ER -

Gadyatskaya O, Hansen RR, Larsen KG, Legay A, Olesen MC, Poulsen DB. Modelling Attack-defense Trees Using Timed Automata. In Formal Modeling and Analysis of Timed Systems. Springer. 2016. p. 35-50. (Lecture Notes in Computer Science, Vol. 9884). https://doi.org/10.1007/978-3-319-44878-7_3