Formalizing threat models for virtualized systems

Daniele Sgandurra; Erisa Karafili; Emil Lupu

doi:10.1007/978-3-319-41483-6_18

Formalizing threat models for virtualized systems

Daniele Sgandurra, Erisa Karafili, Emil Lupu

Department of Information Security

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings
Publisher	Springer-Verlag
Pages	251-267
Number of pages	17
Volume	9766
ISBN (Print)	9783319414829
DOIs	https://doi.org/10.1007/978-3-319-41483-6_18
Publication status	Published - 2016
Event	30th IFIP WG 11.3 Conference on Data and Applications Security, DBSec 2016 - Trento, Italy Duration: 18 Jul 2016 → 20 Jul 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9766
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	30th IFIP WG 11.3 Conference on Data and Applications Security, DBSec 2016
Country/Territory	Italy
City	Trento
Period	18/07/16 → 20/07/16

Access to Document

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

https://link.springer.com/chapter/10.1007/978-3-319-41483-6_18

Cite this

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

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)).

@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",

note = "30th IFIP WG 11.3 Conference on Data and Applications Security, DBSec 2016 ; Conference date: 18-07-2016 Through 20-07-2016",

}

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

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 proceeding › Conference contribution

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

T2 - 30th IFIP WG 11.3 Conference on Data and Applications Security, DBSec 2016

Y2 - 18 July 2016 through 20 July 2016

ER -

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)). doi: 10.1007/978-3-319-41483-6_18

Formalizing threat models for virtualized systems

Publication series

Conference

Access to Document

Other files and links

Cite this