Paper Info
Title
Verifying Data Secure Flow In Autosar Models By 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.
Year
DOI
Venue
2017
10.5220/0006288707040713
ICISSP: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY
Keywords
Field
DocType
AUTOSAR, Security, Information Flow, Static Analysis
Computer science,Flow (psychology),Static analysis,AUTOSAR,Operating system
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Cinzia Bernardeschi122631.87
Marco Di Natale2123791.62
Gianluca Dini327026.58
Maurizio Palmieri473.44