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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

42 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Formal Modeling and Analysis of Timed Systems
Forlag	Springer
Publikationsdato	2016
Sider	35-50
ISBN (Trykt)	978-3-319-44877-0
ISBN (Elektronisk)	978-3-319-44878-7
DOI	https://doi.org/10.1007/978-3-319-44878-7_3
Status	Udgivet - 2016
Begivenhed	14th International Conference on Formal Modelling and Analysis of Timed Systems - Quebec City, Canada Varighed: 24 aug. 2016 → 26 aug. 2016 Konferencens nummer: 14 http://formats2016.lsv.fr/

Konference

Konference	14th International Conference on Formal Modelling and Analysis of Timed Systems
Nummer	14
Land/Område	Canada
By	Quebec City
Periode	24/08/2016 → 26/08/2016
Internetadresse	http://formats2016.lsv.fr/

Navn	Lecture Notes in Computer Science
Vol/bind	9884
ISSN	0302-9743

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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. i Formal Modeling and Analysis of Timed Systems. Springer, Lecture Notes in Computer Science, bind 9884, s. 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. s. 35-50 (Lecture Notes in Computer Science, Bind 9884).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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 -