Ecole d'ingénieur et centre de recherche en Sciences du numérique

SysML-Sec: A model-driven environment for developing secure embedded systems

Apvrille, Ludovic; Roudier, Yves

SAR-SSI 2013, 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, 16-18 Septembre 2013, Mont-de-Marsan, France

We introduce SysML-Sec, a new SysML environment aimed at making security experts collaborate with system designers at all methodological stages of the design and development of an embedded system. SysML-Sec is also meant to support the assessment of the impact of security over safety. Security and safety concerns are captured in extended SysML diagrams elaborated according to an iterative process centered around the software/hardware partitioning of the architecture. The requirements captured are derived into security and cryptographic mechanisms as well as into security properties that can be formally verified.

Document Bibtex

Titre:SysML-Sec: A model-driven environment for developing secure embedded systems
Mots Clés:SysML, security, embedded systems, model driven engineering
Type:Conférence
Langue:English
Ville:Mont-de-Marsan
Pays:FRANCE
Date:
Département:Sécurité numérique
Eurecom ref:4187
Copyright: © INRIA. Personal use of this material is permitted. The definitive version of this paper was published in SAR-SSI 2013, 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, 16-18 Septembre 2013, Mont-de-Marsan, France and is available at :
Bibtex: @inproceedings{EURECOM+4187, year = {2013}, title = {{S}ys{ML}-{S}ec: {A} model-driven environment for developing secure embedded systems}, author = {{A}pvrille, {L}udovic and {R}oudier, {Y}ves }, booktitle = {{SAR}-{SSI} 2013, 8{\`e}me {C}onf{\'e}rence sur la {S}{\'e}curit{\'e} des {A}rchitectures {R}{\'e}seaux et des {S}yst{\`e}mes d'{I}nformation, 16-18 {S}eptembre 2013, {M}ont-de-{M}arsan, {F}rance}, address = {{M}ont-de-{M}arsan, {FRANCE}}, month = {09}, url = {http://www.eurecom.fr/publication/4187} }
Voir aussi: