Research Article
CPN Based Analysis of In-Vehicle Secure Communication Protocol
507 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
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.
Copyright © 2016–2024 ICST
