CPN Based Analysis of In-Vehicle Secure Communication Protocol

Rustam Igorevich; Daekyo Shin; Dugki Min

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

409 downloads

Cite: BibTeX Plain Text

@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 Shin¹^,*, 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.

Keywords: In-Vehicle Secure Protocol HUD (Head Unit Display) CPN (Colored Petri Nets) Replay attack

Published: 2017-08-09
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-60717-7_2