Verifying Data Secure Flow in AUTOSAR Models by Static Analysis

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri

2017

Abstract

This paper presents a method to check data secure flow in security annotated AUTOSAR models. The approach is based on information flow analysis and abstract interpretation. The analysis computes the lowest security level of data sent on a communication, according to the annotations in the model and the code of runnables. An abstract interpreter executes runnables on abstract domains that abstract from real values and consider only data dependency levels. Data secure flow is verified if data sent on a communication always satisfy the security annotation in the model. The work has been developed in the EU project Safure, where modeling extensions to AUTOSAR have been proposed to improve security in automotive communications.

Paper Citation

in Harvard Style

Bernardeschi C., Di Natale M., Dini G. and Palmieri M. (2017). Verifying Data Secure Flow in AUTOSAR Models by Static Analysis . In Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ForSE, (ICISSP 2017) ISBN 978-989-758-209-7, pages 704-713. DOI: 10.5220/0006288707040713

in Bibtex Style

@conference{forse17,
author={Cinzia Bernardeschi and Marco Di Natale and Gianluca Dini and Maurizio Palmieri},
title={Verifying Data Secure Flow in AUTOSAR Models by Static Analysis},
booktitle={Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ForSE, (ICISSP 2017)},
year={2017},
pages={704-713},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006288707040713},
isbn={978-989-758-209-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Information Systems Security and Privacy - Volume 1: ForSE, (ICISSP 2017)
TI - Verifying Data Secure Flow in AUTOSAR Models by Static Analysis
SN - 978-989-758-209-7
AU - Bernardeschi C.
AU - Di Natale M.
AU - Dini G.
AU - Palmieri M.
PY - 2017
SP - 704
EP - 713
DO - 10.5220/0006288707040713