 |
Conference papers
SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems
Abstract : We introduce SysML-Sec, a new SysML environment aimed at making secu- rity 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 assess- ment 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.
https://hal.telecom-paris.fr/hal-02286744
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:08:09 PM
Last modification on : Tuesday, October 19, 2021 - 11:15:20 AM
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:08:09 PM
Last modification on : Tuesday, October 19, 2021 - 11:15:20 AM