Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN
To address the shortcomings of existing authentication schemes in vehicle networks, which commonly suffer from key escrow issues, as well as the lack of consideration for lightweight deployment and secure rapid authentication of compute-constrained electronic control unit (ECU), a lightweight certif...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2024-06-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2024121/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539194249281536 |
|---|---|
| author | ZHENG Lu FENG Tao SU Chunhua |
| author_facet | ZHENG Lu FENG Tao SU Chunhua |
| author_sort | ZHENG Lu |
| collection | DOAJ |
| description | To address the shortcomings of existing authentication schemes in vehicle networks, which commonly suffer from key escrow issues, as well as the lack of consideration for lightweight deployment and secure rapid authentication of compute-constrained electronic control unit (ECU), a lightweight certificateless anonymous authentication and key agreement scheme without bilinear pairings was proposed for compute-unconstrained ECU networks. The authentication key pair was securely constructed by elliptic curve cryptography, anonymous authentication and key agreement were realized by lightweight methods such as hash functions and XOR operation. Additionally, a certificateless batch verification scheme was proposed to reduce the authentication costs for compute-constrained ECU networks. Finally, a security verification method based on the colored Petri net (CPN) and Dolev-Yao attacker model was proposed to evaluate the formal security of the proposed scheme. The proposed scheme is proved through security evaluation and performance analysis to effectively resist various types of attacks such as replay, spoofing, tampering, known key, known specific session temporary information attack, etc., with multiple security attributes, small computation and communication cost. |
| format | Article |
| id | doaj-art-5778e7105b6642d4a3435c9ea445f7b3 |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2024-06-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-5778e7105b6642d4a3435c9ea445f7b32025-01-14T07:24:36ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2024-06-014510111663977509Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPNZHENG LuFENG TaoSU ChunhuaTo address the shortcomings of existing authentication schemes in vehicle networks, which commonly suffer from key escrow issues, as well as the lack of consideration for lightweight deployment and secure rapid authentication of compute-constrained electronic control unit (ECU), a lightweight certificateless anonymous authentication and key agreement scheme without bilinear pairings was proposed for compute-unconstrained ECU networks. The authentication key pair was securely constructed by elliptic curve cryptography, anonymous authentication and key agreement were realized by lightweight methods such as hash functions and XOR operation. Additionally, a certificateless batch verification scheme was proposed to reduce the authentication costs for compute-constrained ECU networks. Finally, a security verification method based on the colored Petri net (CPN) and Dolev-Yao attacker model was proposed to evaluate the formal security of the proposed scheme. The proposed scheme is proved through security evaluation and performance analysis to effectively resist various types of attacks such as replay, spoofing, tampering, known key, known specific session temporary information attack, etc., with multiple security attributes, small computation and communication cost.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2024121/vehicle networksecurity protocolauthentication and key agreementcolored Petri netformal analysis |
| spellingShingle | ZHENG Lu FENG Tao SU Chunhua Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN Tongxin xuebao vehicle network security protocol authentication and key agreement colored Petri net formal analysis |
| title | Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN |
| title_full | Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN |
| title_fullStr | Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN |
| title_full_unstemmed | Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN |
| title_short | Research on certificateless anonymous authentication and key agreement scheme of vehicle network based on CPN |
| title_sort | research on certificateless anonymous authentication and key agreement scheme of vehicle network based on cpn |
| topic | vehicle network security protocol authentication and key agreement colored Petri net formal analysis |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2024121/ |
| work_keys_str_mv | AT zhenglu researchoncertificatelessanonymousauthenticationandkeyagreementschemeofvehiclenetworkbasedoncpn AT fengtao researchoncertificatelessanonymousauthenticationandkeyagreementschemeofvehiclenetworkbasedoncpn AT suchunhua researchoncertificatelessanonymousauthenticationandkeyagreementschemeofvehiclenetworkbasedoncpn |