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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    WCX World Congress Experience ; 2018



    Erscheinungsdatum :

    2018-04-03




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Kurachi, Ryo / Fujikura, Toshiyuki | British Library Conference Proceedings | 2018


    HILS BRAKE HILS SYSTEM FOR A RAILWAY VEHICLE

    Europäisches Patentamt | 2019

    Freier Zugriff

    HILS HILS-based ship maneuverability measurement and management system

    JANG PIL SOON / GANG YONG SOO | Europäisches Patentamt | 2018

    Freier Zugriff

    HILS FGSS VIRTUAL MANAGING SYSTEM BASED HILS

    DOH HEE CHAN | Europäisches Patentamt | 2023

    Freier Zugriff

    HILS DRONE HILS SYSTEM FOR DETECTING EXPLOSIVES

    YANG JUN HO / SUK JIN YOUNG / PARK JEONG SIK et al. | Europäisches Patentamt | 2023

    Freier Zugriff