Graduate School and Research Center in Digital Sciences

SysML-Sec attack graphs: Compact representations for complex attacks

Apvrille, Ludovic; Roudier, Yves

GRAMSEC 2015, 2nd International Workshop on Graphical Models for Security, Co-located with CSF 2015, 13 July 2015, Verona, Italy / Also published in LNCS, Vol. 9390/2015

We discuss in this paper the use of SysML-Sec attack graphs as a graphical and semi-formal representation for complex attacks. We illustrate this on a PC and mobile malware example. We furthermore provide examples of the expressivity of the operators used in such diagrams. We finally formalize the attack traces described by these operators based on timed automata. 

Document Doi Hal Bibtex

Title:SysML-Sec attack graphs: Compact representations for complex attacks
Type:Conference
Language:English
City:Verona
Country:ITALY
Date:
Department:Digital Security
Eurecom ref:4733
Copyright: © Springer. Personal use of this material is permitted. The definitive version of this paper was published in GRAMSEC 2015, 2nd International Workshop on Graphical Models for Security, Co-located with CSF 2015, 13 July 2015, Verona, Italy / Also published in LNCS, Vol. 9390/2015 and is available at : http://dx.doi.org/10.1007/978-3-319-29968-6_3
Bibtex: @inproceedings{EURECOM+4733, doi = {http://dx.doi.org/10.1007/978-3-319-29968-6_3}, year = {2015}, title = {{S}ys{ML}-{S}ec attack graphs: {C}ompact representations for complex attacks}, author = {{A}pvrille, {L}udovic and {R}oudier, {Y}ves}, booktitle = {{GRAMSEC} 2015, 2nd {I}nternational {W}orkshop on {G}raphical {M}odels for {S}ecurity, {C}o-located with {CSF} 2015, 13 {J}uly 2015, {V}erona, {I}taly / {A}lso published in {LNCS}, {V}ol. 9390/2015}, address = {{V}erona, {ITALY}}, month = {07}, url = {http://www.eurecom.fr/publication/4733} }
See also: