Browse Publications Technical Papers 2018-01-0013
2018-04-03

Proposal of HILS-Based In-Vehicle Network Security Verification Environment 2018-01-0013

We 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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Security Mechanisms Design for In-Vehicle Network Gateway

2018-01-0018

View Details

TECHNICAL PAPER

Security Mechanisms Design of Automotive Gateway Firewall

2019-01-0481

View Details

JOURNAL ARTICLE

Timing Implications of Sharing Resources in Multicore Real-Time Automotive Systems

2010-01-0454

View Details

X