Ecole d'ingénieur et centre de recherche en Sciences du numérique

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 Bibtex

Titre:SysML-Sec attack graphs: Compact representations for complex attacks
Type:Conférence
Langue:English
Ville:Verona
Pays:ITALIE
Date:
Département:Sécurité numérique
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, {ITALIE}}, month = {07}, url = {http://www.eurecom.fr/publication/4733} }
Voir aussi: