SCIENCE@home

Model‐driven architecture based security analysis

S. Mili,Nga Nguyen,Rachid Chelouah

Published 2021 in Systems Engineering

ABSTRACT

This paper proposes a Model‐Driven Architecture approach for the development of an embedded system validation platform namely Model‐Based Security Analysis for Embedded Systems (MBSAES). The security properties are formally modeled and verified at an early stage of the design process of the system, which helps to reduce late errors and development time. A separation of the attack scenarios and the system design from the implementation details has been respected. To transform semi‐formal models from SysML to NuSVM model checking platform, two Model‐to‐Text, horizontal and exogenous transformations have been implemented. The first one employs a programming approach with Java to create a Computational Tree Logic specification from an Extended Attack Tree, whereas the second one uses a template approach with Acceleo to generate NuSMV code from SysML structural and behavioral models. To illustrate our approach, a case study, involving attacks aiming to unlock car door systems, via signal jamming and code replaying, is considered. The results of this research will contribute to the automatic validation of system designs against security vulnerabilities via a database of extended attack trees building from existing atomic attacks.

PUBLICATION RECORD

  • Publication year

    2021

  • Venue

    Systems Engineering

  • Publication date

    2021-05-21

  • Fields of study

    Computer Science, Engineering

  • Identifiers
    DOI 10.1002/sys.21581
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-26 of 26 references · Page 1 of 1

CITED BY

Showing 1-5 of 5 citing papers · Page 1 of 1