Skip to Main content Skip to Navigation
Conference papers

SysML Models and Model Transformation for Security

Florian Lugou 1, 2, 3 Letitia W. Li 2, 3 Ludovic Apvrille 2, 3 Rabéa Ameur-Boulifa 2, 3 
2 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : The security flaws of embedded systems have become very valuable targets for cyber criminals. SysML-Sec has been introduced to target the security of these systems during their development stages. However, assessing resistance to attacks during these stages requires efficiently capturing the system's behavior and formally proving security properties from those behaviors. This paper thus proposes (i) novel SysML block and state machine diagrams enhanced to better capture security features, and (ii) a model-to-Proverif transformation. ProVerif is a toolkit first released for the formal analysis of security protocol, but it can be used more generally to assess confidentiality and authenticity properties. This paper demonstrates the soundness of our approach using a complex asymmetric key distribution protocol.
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:48:47 PM
Last modification on : Saturday, April 9, 2022 - 11:02:01 AM


  • HAL Id : hal-02287286, version 1


Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa. SysML Models and Model Transformation for Security. Conferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Feb 2016, Rome, Italy. ⟨hal-02287286⟩



Record views