Name
Title | ||
|---|---|---|
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. |
Abstract | ||
|---|---|---|
The increasing complexity and autonomy of modern automotive systems, together with the safety-sensitive nature of many vehicle information flows require a careful analysis of the security requirements and adequate mechanisms for ensuring integrity and confidentiality of data. This is especially true for semi-autonomous vehicle systems, in which user intervention is limited or absent, and information must be trusted. This paper provides a proposal for the representation of high-level security properties in the specification of application components according to the AUTOSAR standard AUTomotive Open System ARchitecture. An automatic generation of security components from security-annotated AUTOSAR specifications is also proposed. It provides for the automatic selection of the adequate security mechanisms based on a high-level specification, thus avoiding complex and error-prone manual encodings by the designer. These concepts and tools are applied to a paradigmatic example in order to show their simplicity and efficacy. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1007/978-3-319-47605-6_8 | MESAS |
Keywords | Field | DocType |
Security,Modelling,AUTOSAR | Architecture,Confidentiality,Computer science,EAST-ADL,Automotive systems,AUTOSAR,Open system (systems theory),Computer security model,Distributed computing,Automotive industry | Conference |
Volume | ISSN | Citations |
9991 | 0302-9743 | 2 |
PageRank | References | Authors |
0.41 | 8 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cinzia Bernardeschi | 1 | 226 | 31.87 |
| Gabriele Del Vigna | 2 | 2 | 0.41 |
| Marco Di Natale | 3 | 1237 | 91.62 |
| Gianluca Dini | 4 | 225 | 22.04 |
| Dario Varano | 5 | 5 | 1.18 |