Modelling Socio-Technical Attacks with Timed Automata

Nicolas David, Alexandre David, Rene Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian Probst

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

9 Citationer (Scopus)
OriginalsprogEngelsk
TitelProceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats
Antal sider7
ForlagAssociation for Computing Machinery
Publikationsdato2015
Sider21-28
ISBN (Trykt)978-1-4503-3832-5, 978-1-4503-3824-0
DOI
StatusUdgivet - 2015
Begivenhed7th ACM CCS International Workshop on Managing Insider Security Threats - Denver, USA
Varighed: 12 okt. 201516 okt. 2015

Konference

Konference7th ACM CCS International Workshop on Managing Insider Security Threats
LandUSA
ByDenver
Periode12/10/201516/10/2015

Citer dette

David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C., & Probst, C. (2015). Modelling Socio-Technical Attacks with Timed Automata. I Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats (s. 21-28). Association for Computing Machinery. https://doi.org/10.1145/2808783.2808787
David, Nicolas ; David, Alexandre ; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand ; Legay, Axel ; Olesen, Mads Chr. ; Probst, Christian. / Modelling Socio-Technical Attacks with Timed Automata. Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, 2015. s. 21-28
@inproceedings{056c1bc0f89a434b85b04783516633e9,
title = "Modelling Socio-Technical Attacks with Timed Automata",
author = "Nicolas David and Alexandre David and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand} and Axel Legay and Olesen, {Mads Chr.} and Christian Probst",
year = "2015",
doi = "10.1145/2808783.2808787",
language = "English",
isbn = "978-1-4503-3832-5",
pages = "21--28",
booktitle = "Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats",
publisher = "Association for Computing Machinery",
address = "United States",

}

David, N, David, A, Hansen, RR, Larsen, KG, Legay, A, Olesen, MC & Probst, C 2015, Modelling Socio-Technical Attacks with Timed Automata. i Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, s. 21-28, 7th ACM CCS International Workshop on Managing Insider Security Threats, Denver, USA, 12/10/2015. https://doi.org/10.1145/2808783.2808787

Modelling Socio-Technical Attacks with Timed Automata. / David, Nicolas; David, Alexandre; Hansen, Rene Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Probst, Christian.

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, 2015. s. 21-28.

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

TY - GEN

T1 - Modelling Socio-Technical Attacks with Timed Automata

AU - David, Nicolas

AU - David, Alexandre

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Olesen, Mads Chr.

AU - Probst, Christian

PY - 2015

Y1 - 2015

U2 - 10.1145/2808783.2808787

DO - 10.1145/2808783.2808787

M3 - Article in proceeding

SN - 978-1-4503-3832-5

SN - 978-1-4503-3824-0

SP - 21

EP - 28

BT - Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats

PB - Association for Computing Machinery

ER -

David N, David A, Hansen RR, Larsen KG, Legay A, Olesen MC et al. Modelling Socio-Technical Attacks with Timed Automata. I Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery. 2015. s. 21-28 https://doi.org/10.1145/2808783.2808787