Modelling Attack-defense Trees Using Timed Automata

Olga Gadyatskaya; Rene Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Mads Chr. Olesen; Danny Bøgsted Poulsen

doi:10.1007/978-3-319-44878-7_3

Modelling Attack-defense Trees Using Timed Automata

Olga Gadyatskaya, Rene Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

42 Citations (Scopus)

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems
Publisher	Springer
Publication date	2016
Pages	35-50
ISBN (Print)	978-3-319-44877-0
ISBN (Electronic)	978-3-319-44878-7
DOIs	https://doi.org/10.1007/978-3-319-44878-7_3
Publication status	Published - 2016
Event	14th International Conference on Formal Modelling and Analysis of Timed Systems - Quebec City, Canada Duration: 24 Aug 2016 → 26 Aug 2016 Conference number: 14 http://formats2016.lsv.fr/

Conference

Conference	14th International Conference on Formal Modelling and Analysis of Timed Systems
Number	14
Country/Territory	Canada
City	Quebec City
Period	24/08/2016 → 26/08/2016
Internet address	http://formats2016.lsv.fr/

Series	Lecture Notes in Computer Science
Volume	9884
ISSN	0302-9743

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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",

note = "14th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2016 ; Conference date: 24-08-2016 Through 26-08-2016",

url = "http://formats2016.lsv.fr/",

}

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 et al.
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 proceeding › Article in proceeding › Research › peer-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

N1 - Conference code: 14

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

T2 - 14th International Conference on Formal Modelling and Analysis of Timed Systems

Y2 - 24 August 2016 through 26 August 2016

ER -