Verifying Data Secure Flow in AUTOSAR Models by Static Analysis

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

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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, 704-713, 2017 , Porto, Portugal

Authors: Cinzia Bernardeschi ¹ ; Marco Di Natale ² ; Gianluca Dini ¹ and Maurizio Palmieri ¹

Affiliations: ¹ University of Pisa, Italy ; ² Scuola Superiore Sant'Anna, Italy

Keyword(s): AUTOSAR, Security, Information Flow, Static Analysis.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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:

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 (ICISSP 2017) - ForSE; ISBN 978-989-758-209-7; ISSN 2184-4356, SciTePress, pages 704-713. DOI: 10.5220/0006288707040713

@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 (ICISSP 2017) - ForSE},
year={2017},
pages={704-713},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006288707040713},
isbn={978-989-758-209-7},
issn={2184-4356},
}

TY - CONF

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