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

The authors 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, the authors focus on the transmit timing of CAN packets to realize vulnerabilities. In their experiments, the authors have demonstrated the classification of feasible attacks at the early development phase by integrating the model checking techniques into a virtualized environment.

Language

  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 01691720
  • Record Type: Publication
  • Source Agency: SAE International
  • Report/Paper Numbers: 2018-01-0013
  • Files: TRIS, SAE
  • Created Date: Oct 8 2018 12:22PM