Formalizing threat models for virtualized systems. / Sgandurra, Daniele; Karafili, Erisa; Lupu, Emil.

Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Vol. 9766 Springer-Verlag, 2016. p. 251-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9766).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Formalizing threat models for virtualized systems. / Sgandurra, Daniele; Karafili, Erisa; Lupu, Emil.

Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Vol. 9766 Springer-Verlag, 2016. p. 251-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9766).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Sgandurra, D, Karafili, E & Lupu, E 2016, Formalizing threat models for virtualized systems. in Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. vol. 9766, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9766, Springer-Verlag, pp. 251-267, 30th IFIP WG 11.3 Conference on Data and Applications Security, DBSec 2016, Trento, Italy, 18/07/16. https://doi.org/10.1007/978-3-319-41483-6_18

APA

Sgandurra, D., Karafili, E., & Lupu, E. (2016). Formalizing threat models for virtualized systems. In Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings (Vol. 9766, pp. 251-267). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9766). Springer-Verlag. https://doi.org/10.1007/978-3-319-41483-6_18

Vancouver

Sgandurra D, Karafili E, Lupu E. Formalizing threat models for virtualized systems. In Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Vol. 9766. Springer-Verlag. 2016. p. 251-267. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-41483-6_18

Author

Sgandurra, Daniele ; Karafili, Erisa ; Lupu, Emil. / Formalizing threat models for virtualized systems. Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Vol. 9766 Springer-Verlag, 2016. pp. 251-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{7392076080a2459cb9134b63bcb5ea94,
title = "Formalizing threat models for virtualized systems",
author = "Daniele Sgandurra and Erisa Karafili and Emil Lupu",
year = "2016",
doi = "10.1007/978-3-319-41483-6_18",
language = "English",
isbn = "9783319414829",
volume = "9766",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "251--267",
booktitle = "Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings",

}

RIS

TY - GEN

T1 - Formalizing threat models for virtualized systems

AU - Sgandurra, Daniele

AU - Karafili, Erisa

AU - Lupu, Emil

PY - 2016

Y1 - 2016

UR - http://www.scopus.com/inward/record.url?scp=84979521058&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-41483-6_18

DO - 10.1007/978-3-319-41483-6_18

M3 - Conference contribution

AN - SCOPUS:84979521058

SN - 9783319414829

VL - 9766

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 251

EP - 267

BT - Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings

PB - Springer-Verlag

ER -