@inproceedings{03e9a09af7024b69be2076abe84c2a13,
title = "SysML models and model transformation for security",
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.",
keywords = "Model Transformation, Model-driven Engineering, ProVerif, Security, SysML-Sec, TTool",
author = "Florian Lugou and Li, \{Letitia W.\} and Ludovic Apvrille and Rab{\'e}a Ameur-Boulifa",
note = "Publisher Copyright: {\textcopyright} Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016 ; Conference date: 19-02-2016 Through 21-02-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.5220/0005748703310338",
language = "English",
series = "MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development",
publisher = "SciTePress",
pages = "331--338",
editor = "Slimane Hammoudi and Pires, \{Luis Ferreira\} and Bran Selic and Philippe Desfray",
booktitle = "MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development",
}