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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Pages	35-49
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-319-29968-6_3
Publication status	Published - 1 Jan 2016
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9390 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

Cite this

Apvrille, L., & Roudier, Y. (2016). SysML-Sec attack graphs: Compact representations for complex attacks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 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. pp. 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

UR - https://www.scopus.com/pages/publications/85007566152

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this