Model-guided Security Analysis of Interconnected Embedded Systems

Yasamin Mahmoodi, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Abstract

Software-intensive and networked embedded systems implement more and more security critical tasks. The following paper presents a framework to support security analysis along the design process using virtual prototypes (VPs). VPs describe the interconnection between different system components, include actual application codes and even integrate existing physical prototypes. These enable the user to detect structural security flaws, implementation flaws and even hardware-based security problems. Benefits of using VPs are the early availability in the design process and the fact that VPs are based on software, therefore established security analysis methods for software can be applied. This paper provides a methodology and tooling support to apply VP in the context of security analyses. Especially the integration in a model-driven design (MDD) process is highlighted. A proposed security UML profile as well as code generation ease the VP-based analysis.

References

Download


Paper Citation


in Harvard Style

Mahmoodi Y., Reiter S., Viehl A., Bringmann O. and Rosenstiel W. (2018). Model-guided Security Analysis of Interconnected Embedded Systems.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 602-609. DOI: 10.5220/0006724606020609


in Bibtex Style

@conference{modelsward18,
author={Yasamin Mahmoodi and Sebastian Reiter and Alexander Viehl and Oliver Bringmann and Wolfgang Rosenstiel},
title={Model-guided Security Analysis of Interconnected Embedded Systems},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={602-609},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006724606020609},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-guided Security Analysis of Interconnected Embedded Systems
SN - 978-989-758-283-7
AU - Mahmoodi Y.
AU - Reiter S.
AU - Viehl A.
AU - Bringmann O.
AU - Rosenstiel W.
PY - 2018
SP - 602
EP - 609
DO - 10.5220/0006724606020609