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

SysML-sec: A sysML environment for the design and development of secure embedded systems

Apvrille, Ludovic; Roudier, Yves

APCOSEC 2013, Asia-Pacific Council on Systems Engineering, September 8-11, 2013, Yokohama, Japan

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 Hal Bibtex

Titre:SysML-sec: A sysML environment for the design and development of secure embedded systems
Mots Clés:SysML, security, embedded systems, model driven engineering
Type:Conférence
Langue:English
Ville:Yokohama
Pays:JAPON
Date:
Département:Sécurité numérique
Eurecom ref:4186
Copyright: © 2013 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Bibtex: @inproceedings{EURECOM+4186, year = {2013}, title = {{S}ys{ML}-sec: {A} sys{ML} environment for the design and development of secure embedded systems}, author = {{A}pvrille, {L}udovic and {R}oudier, {Y}ves}, booktitle = {{APCOSEC} 2013, {A}sia-{P}acific {C}ouncil on {S}ystems {E}ngineering, {S}eptember 8-11, 2013, {Y}okohama, {J}apan}, address = {{Y}okohama, {JAPON}}, month = {09}, url = {http://www.eurecom.fr/publication/4186} }
Voir aussi: