A Framework for Threat-Driven Cyber Security Verification of IoT Systems

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

Standard

A Framework for Threat-Driven Cyber Security Verification of IoT Systems. / Kulik, Tomas; Tran-Jørgensen, Peter Würtz Vinther; Boudjadar, Jalil; Schultz, Carl Peter Leslie.

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, 2018. s. 89-97.

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

Harvard

Kulik, T, Tran-Jørgensen, PWV, Boudjadar, J & Schultz, CPL 2018, A Framework for Threat-Driven Cyber Security Verification of IoT Systems. i 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, s. 89-97, 11th IEEE Conference on Software Testing, Validation and Verification, Västerås, Sverige, 09/04/2018. https://doi.org/10.1109/ICSTW.2018.00033

APA

Kulik, T., Tran-Jørgensen, P. W. V., Boudjadar, J., & Schultz, C. P. L. (2018). A Framework for Threat-Driven Cyber Security Verification of IoT Systems. I 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings (s. 89-97). IEEE. https://doi.org/10.1109/ICSTW.2018.00033

CBE

Kulik T, Tran-Jørgensen PWV, Boudjadar J, Schultz CPL. 2018. A Framework for Threat-Driven Cyber Security Verification of IoT Systems. I 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE. s. 89-97. https://doi.org/10.1109/ICSTW.2018.00033

MLA

Kulik, Tomas o.a.. "A Framework for Threat-Driven Cyber Security Verification of IoT Systems". 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE. 2018, 89-97. https://doi.org/10.1109/ICSTW.2018.00033

Vancouver

Kulik T, Tran-Jørgensen PWV, Boudjadar J, Schultz CPL. A Framework for Threat-Driven Cyber Security Verification of IoT Systems. I 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE. 2018. s. 89-97 https://doi.org/10.1109/ICSTW.2018.00033

Author

Kulik, Tomas ; Tran-Jørgensen, Peter Würtz Vinther ; Boudjadar, Jalil ; Schultz, Carl Peter Leslie. / A Framework for Threat-Driven Cyber Security Verification of IoT Systems. 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018): Proceedings. IEEE, 2018. s. 89-97

Bibtex

@inproceedings{9e0c67b6f2af44d5bdf538405ee44ad4,
title = "A Framework for Threat-Driven Cyber Security Verification of IoT Systems",
author = "Tomas Kulik and Tran-J{\o}rgensen, {Peter W{\"u}rtz Vinther} and Jalil Boudjadar and Schultz, {Carl Peter Leslie}",
year = "2018",
month = "4",
doi = "10.1109/ICSTW.2018.00033",
language = "English",
isbn = "978-1-5386-6353-0",
pages = "89--97",
booktitle = "2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018)",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - A Framework for Threat-Driven Cyber Security Verification of IoT Systems

AU - Kulik, Tomas

AU - Tran-Jørgensen, Peter Würtz Vinther

AU - Boudjadar, Jalil

AU - Schultz, Carl Peter Leslie

PY - 2018/4

Y1 - 2018/4

U2 - 10.1109/ICSTW.2018.00033

DO - 10.1109/ICSTW.2018.00033

M3 - Article in proceedings

SN - 978-1-5386-6353-0

SP - 89

EP - 97

BT - 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018)

PB - IEEE

ER -