Modelling Socio-Technical Attacks with Timed Automata

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

doi:10.1145/2808783.2808787

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

15 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats
Antal sider	7
Forlag	Association for Computing Machinery (ACM)
Publikationsdato	2015
Sider	21-28
ISBN (Trykt)	978-1-4503-3832-5, 978-1-4503-3824-0
DOI	https://doi.org/10.1145/2808783.2808787
Status	Udgivet - 2015
Begivenhed	7th ACM CCS International Workshop on Managing Insider Security Threats - Denver, USA Varighed: 12 okt. 2015 → 16 okt. 2015

Konference

Konference	7th ACM CCS International Workshop on Managing Insider Security Threats
Land/Område	USA
By	Denver
Periode	12/10/2015 → 16/10/2015

Adgang til dokumentet

10.1145/2808783.2808787

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security
Hansen, R. R. (Projektleder), David, A. (Projektdeltager), Hüttel, H. (Projektdeltager) & Larsen, K. G. (Projektdeltager)
FP7 ICT
01/11/2012 → 31/12/2016
Projekter: Projekt › Forskning

Citationsformater

@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 (ACM)",

address = "United States",

note = "7th ACM CCS International Workshop on Managing Insider Security Threats ; Conference date: 12-10-2015 Through 16-10-2015",

}

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 (ACM), 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 et al.
Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery (ACM), 2015. s. 21-28.

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

T2 - 7th ACM CCS International Workshop on Managing Insider Security Threats

Y2 - 12 October 2015 through 16 October 2015

ER -

Modelling Socio-Technical Attacks with Timed Automata

Konference

Adgang til dokumentet

AUB Link

Projekter

TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

Citationsformater