SysML-Sec attack graphs: Compact representations for complex attacks

Ludovic Apvrille; Yves Roudier

doi:10.1007/978-3-319-29968-6_3

SysML-Sec attack graphs: Compact representations for complex attacks

Ludovic Apvrille
, Yves Roudier

CNRS LTCI
Eurecom

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

8 Citations (Scopus)

Résumé

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.

langue originale	Anglais
titre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editeur	Springer Verlag
Pages	35-49
Nombre de pages	15
Les DOIs	https://doi.org/10.1007/978-3-319-29968-6_3
état	Publié - 1 janv. 2016
Modification externe	Oui

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9390 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Accès au document

10.1007/978-3-319-29968-6_3

Contient cette citation

Apvrille, L., & Roudier, Y. (2016). SysML-Sec attack graphs: Compact representations for complex attacks. Dans Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (p. 35-49). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 9390 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-29968-6_3

Apvrille, Ludovic ; Roudier, Yves. / SysML-Sec attack graphs : Compact representations for complex attacks. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2016. p. 35-49 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{29823d07759f422b84712f73c7a1e89d,

title = "SysML-Sec attack graphs: Compact representations for complex attacks",

abstract = "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.",

author = "Ludovic Apvrille and Yves Roudier",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.",

year = "2016",

month = jan,

day = "1",

doi = "10.1007/978-3-319-29968-6\_3",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "35--49",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

Apvrille, L & Roudier, Y 2016, SysML-Sec attack graphs: Compact representations for complex attacks. Dans Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 9390 LNCS, Springer Verlag, p. 35-49. https://doi.org/10.1007/978-3-319-29968-6_3

SysML-Sec attack graphs: Compact representations for complex attacks. / Apvrille, Ludovic; Roudier, Yves.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2016. p. 35-49 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 9390 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

TY - CHAP

T1 - SysML-Sec attack graphs

T2 - Compact representations for complex attacks

AU - Apvrille, Ludovic

AU - Roudier, Yves

PY - 2016/1/1

Y1 - 2016/1/1

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

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

U2 - 10.1007/978-3-319-29968-6_3

DO - 10.1007/978-3-319-29968-6_3

M3 - Chapter

AN - SCOPUS:85007566152

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

SP - 35

EP - 49

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

PB - Springer Verlag

ER -

Apvrille L, Roudier Y. SysML-Sec attack graphs: Compact representations for complex attacks. Dans Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2016. p. 35-49. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-29968-6_3

SysML-Sec attack graphs: Compact representations for complex attacks

Résumé

Série de publications

Accès au document

Empreinte digitale

Contient cette citation