Quality, Reliability, Security and Robustness in Heterogeneous Networks. 12th International Conference, QShine 2016, Seoul, Korea, July 7–8, 2016, Proceedings

Research Article

CPN Based Analysis of In-Vehicle Secure Communication Protocol

Download
446 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-60717-7_2,
        author={Rustam Igorevich and Daekyo Shin and Dugki Min},
        title={CPN Based Analysis of In-Vehicle Secure Communication Protocol},
        proceedings={Quality, Reliability, Security and Robustness in Heterogeneous Networks. 12th International Conference, QShine 2016, Seoul, Korea, July 7--8, 2016, Proceedings},
        proceedings_a={QSHINE},
        year={2017},
        month={8},
        keywords={In-Vehicle Secure Protocol HUD (Head Unit Display) CPN (Colored Petri Nets) Replay attack},
        doi={10.1007/978-3-319-60717-7_2}
    }
    
  • Rustam Igorevich
    Daekyo Shin
    Dugki Min
    Year: 2017
    CPN Based Analysis of In-Vehicle Secure Communication Protocol
    QSHINE
    Springer
    DOI: 10.1007/978-3-319-60717-7_2
Rustam Igorevich,*, Daekyo Shin1,*, Dugki Min,*
  • 1: Korea Electronics Research Institute
*Contact email: rustam@keti.kr, dukeshin@keti.kr, dkmin@konkuk.ac.kr

Abstract

Security in the domain of In-Vehicle communication becomes criticial issue when modules from different vendors allowed interacting with car. Authentication and information secrecy issues must be solved by car vendors. Many research works were held about authentication of car accessory devices and their secure communication with central unit (HUD). In this work we have analyzed one of the recently published In-Vehicle Secure protocol. Multiple replay attacks were discovered during analysis of the protocol. CPN (Coloured Petri Nets) tool was applied to anlyze and demonstrate the flaw in given secure message exchange protocol.