Graduate School and Research Center in Digital Sciences

Security-aware modeling and analysis for HW/SW partitioning

Li, Letitia W; Lugou, Florian; Apvrille, Ludovic

MODELSWARD 2017, 5th International Conference on Model-Driven Engineering and Software Development, 19-21 February 2017, Porto, Portugal

The rising wave of attacks on communicating embedded systems has exposed their users to risks of informa- tion theft, monetary damage, and personal injury. Through improved modeling and analysis of security, we propose that these flaws could be mitigated. Since HW/SW partitioning, one of the first phases, impacts future integration of security into the system, this phase would benefit from supporting modeling security abstrac- tions and security properties, providing designers with useful partitioning feedback obtained from a security formal analyzer. In this paper, we present how our toolkit supports security modeling, automated security integration, and formal analysis during the HW/SW partitioning phase for secure communications in embedded systems. We introduce “Cryptographic Configurations”, an abstract representation of security that allows us to verify security formally. Our toolkit further assists designers by automatically adding these security representations based on a mapping and security requirements.

Document Hal Bibtex

Title:Security-aware modeling and analysis for HW/SW partitioning
Keywords:Embedded Systems, Partitioning, ProVerif, Formal Verification
Type:Conference
Language:English
City:Porto
Country:PORTUGAL
Date:
Department:Digital Security
Eurecom ref:6013
Copyright: © Springer. Personal use of this material is permitted. The definitive version of this paper was published in MODELSWARD 2017, 5th International Conference on Model-Driven Engineering and Software Development, 19-21 February 2017, Porto, Portugal and is available at :
Bibtex: @inproceedings{EURECOM+6013, year = {2017}, title = {{S}ecurity-aware modeling and analysis for {HW}/{SW} partitioning}, author = {{L}i, {L}etitia {W} and {L}ugou, {F}lorian and {A}pvrille, {L}udovic}, booktitle = {{MODELSWARD} 2017, 5th {I}nternational {C}onference on {M}odel-{D}riven {E}ngineering and {S}oftware {D}evelopment, 19-21 {F}ebruary 2017, {P}orto, {P}ortugal}, address = {{P}orto, {PORTUGAL}}, month = {02}, url = {http://www.eurecom.fr/publication/6013} }
See also: