Proposal of HILS-Based In-Vehicle Network Security Verification Environment Nagoya University

Format:

Conference/Event

Author/Creator:

Kurachi, Kurachi, author.

Contributor:

Fujikura, Toshiyuki

Conference Name:

WCX World Congress Experience (2018-04-10 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 2018

Summary:

AbstractWe propose a security-testing framework to analyze attack feasibilities for automotive control software by integrating model-based development with model checking techniques. Many studies have pointed out the vulnerabilities in the Controller Area Network (CAN) protocol, which is widely used in in-vehicle network systems. However, many security attacks on automobiles did not explicitly consider the transmission timing of CAN packets to realize vulnerabilities. Additionally, in terms of security testing for automobiles, most existing studies have only focused on the generation of the testing packets to realize vulnerabilities, but they did not consider the timing of invoking a security testing. Therefore, we focus on the transmit timing of CAN packets to realize vulnerabilities. In our experiments, we have demonstrated the classification of feasible attacks at the early development phase by integrating the model checking techniques into a virtualized environment

Notes:

Vendor supplied data

Publisher Number:

2018-01-0013

Access Restriction:

Restricted for use by site license