Research Article
An Improved Needham-Schroeder Session Key Distribution Protocol for In-Vehicle CAN Network
@INPROCEEDINGS{10.1007/978-3-030-96791-8_3, author={Yin Long and Jian Xu and Chen Wang and Zihao Wang}, title={An Improved Needham-Schroeder Session Key Distribution Protocol for In-Vehicle CAN Network}, proceedings={Security and Privacy in New Computing Environments. 4th EAI International Conference, SPNCE 2021, Virtual Event, December 10-11, 2021, Proceedings}, proceedings_a={SPNCE}, year={2022}, month={3}, keywords={CAN security Security protocols Vehicle cybersecurity The NSSK protocol}, doi={10.1007/978-3-030-96791-8_3} }- Yin Long
Jian Xu
Chen Wang
Zihao Wang
Year: 2022
An Improved Needham-Schroeder Session Key Distribution Protocol for In-Vehicle CAN Network
SPNCE
Springer
DOI: 10.1007/978-3-030-96791-8_3
Abstract
With the rapid development of automobile technology, the internal network of automobiles is facing more and more security problems. Many CAN-based in-vehicle applications lack security mechanisms for data confidentiality and secure session key distribution. To address the above problems, we propose an improved Needham-Schroeder session key distribution protocol suitable for in-vehicle CAN network, using message authentication code (MAC), key derivation function, digital signature, and timestamping mechanisms to resolve the defect that NSSK lacks resistance to Denning-Sacco attack. We use a random oracle model to conduct a formal security analysis of the proposed protocol, then we use Tamarin-Prover to verify the security properties of the protocol, the result indicates that the protocol is secure and applicable for in-vehicle CAN communication.
