Formal Security Analysis of Cloud-Connected Industrial Control Systems

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

DOI

OriginalsprogEngelsk
TitelInnovative Security Solutions for Information Technology and Communications : SECITC 2018 - International Conference on Security for Information Technology and Communications
RedaktørerJ. L. Lanet, C. Toma
Antal sider14
Vol/bind11359
ForlagSpringer
Udgivelsesårfeb. 2019
Sider71-84
ISBN (trykt)978-3-030-12941-5
ISBN (Elektronisk)978-3-030-12942-2
DOI
StatusUdgivet - feb. 2019
Begivenhed11th International Conference on Innovative Security Solutions for Information Technology and Communications - , Rumænien
Varighed: 8 nov. 2018 → …
Konferencens nummer: 11

Konference

Konference11th International Conference on Innovative Security Solutions for Information Technology and Communications
Nummer11
LandRumænien
Periode08/11/2018 → …
SerietitelLecture Notes in Computer Science
Vol/bind11359
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 143927353