loading
Documents

Research.Publish.Connect.

Paper

Authors: Letitia W. Li 1 ; Florian Lugou 2 and Ludovic Apvrille 2

Affiliations: 1 Télécom ParisTech and Institut VEDECOM, France ; 2 Télécom ParisTech, France

ISBN: 978-989-758-210-3

Keyword(s): Embedded Systems, Partitioning, ProVerif, Formal Verification.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Architecture ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

Abstract: The rising wave of attacks on communicating embedded systems has exposed their users to risks of information 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 abstractions 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.13.39

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Li, L.; Lugou, F. and Apvrille, L. (2017). Security-aware Modeling and Analysis for HW/SW Partitioning.In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 302-311. DOI: 10.5220/0006119603020311

@conference{modelsward17,
author={Letitia W. Li. and Florian Lugou. and Ludovic Apvrille.},
title={Security-aware Modeling and Analysis for HW/SW Partitioning},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={302-311},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006119603020311},
isbn={978-989-758-210-3},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Security-aware Modeling and Analysis for HW/SW Partitioning
SN - 978-989-758-210-3
AU - Li, L.
AU - Lugou, F.
AU - Apvrille, L.
PY - 2017
SP - 302
EP - 311
DO - 10.5220/0006119603020311

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.