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.
CITATION STYLE
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) (Vol. 9390 LNCS, pp. 35–49). Springer Verlag. https://doi.org/10.1007/978-3-319-29968-6_3
Mendeley helps you to discover research relevant for your work.