基于PUF函数的轻量级双向认证协议
Lightweight Mutual Authentication Protocol Based on PUF Function
查看参考文献17篇
|
文摘
|
为保障系统内车辆与车辆以及车辆与基础设施的无线通信安全,根据车联网特点,在不借助可信第三方的情况下,引入物理不可克隆函数,提出一种轻量级双向认证协议。利用GNY逻辑进行形式化分析,并通过安全性分析和效率分析,证明该协议在有效保护隐私的情况下完成双向认证,且能够抵抗克隆、窃听、重放、中间人等攻击,满足车联网的安全需求。效率及安全性分析结果表明,与同类协议相比,该协议具有较高的安全性和认证效率。 |
|
其他语种文摘
|
Aiming at the characteristics of the internet of vehicles,in order to ensure the wireless communication security of Vechicle-to-Vechicle (V2V) and Vechicle-to-Infrastructure (V2I) in the system,a Physical Unclonable Function(PUF) is introduced without the aid of a trusted third party,and a lightweight mutual authentication protocol is proposed. Using GNY logic for formal analysis,and through security analysis and efficiency analysis,it proves that the protocol can achieve mutual authentication under the condition of effective protection of privacy,and can resist attacks such as cloning,eavesdropping,replay,and middleman,the protocol can meet the security requirements of VANET. Efficiency and safety analysis results show that the protocol has better security and authentication efficiency than similar protocols. |
|
来源
|
计算机工程
,2019,45(2):38-41,52 【扩展库】
|
|
DOI
|
10.19678/j.issn.1000-3428.0049344
|
|
关键词
|
车联网
;
轻量级
;
双向认证协议
;
物理不可克隆函数
;
GNY逻辑
|
|
地址
|
1.
北京电子科技学院研究生部, 北京, 100070
2.
西安电子科技大学通信工程学院, 西安, 710071
|
|
语种
|
中文 |
|
文献类型
|
研究性论文 |
|
ISSN
|
1000-3428 |
|
学科
|
自动化技术、计算机技术 |
|
基金
|
国家自然科学基金
;
“十三五”国家密码发展基金
;
中央高校基本科研业务费专项资金
|
|
文献收藏号
|
CSCD:6425517
|
参考文献 共
17
共1页
|
|
1.
Kaiwartya O. Internet of vehicles: motivation,layered architecture, network model,challenges,and future aspects.
IEEE Access,2016,4:5356-5373
|
被引
16
次
|
|
|
|
|
2.
宋成. 基于双线性对的车联网批量匿名认证方案研究.
通信学报,2017,38(6):49-57
|
被引
5
次
|
|
|
|
|
3.
Luckshetty A. A survey: comparative study of applications,attacks, security and privacy in VANETs.
Proceedings of IEEE 2016 International Conference on Communication and Signal Processing,2016:1594-1598
|
被引
1
次
|
|
|
|
|
4.
Raya M. Securing vehicular ad hoc networks.
Journal of Computer Security,2007,15(1):39-68
|
被引
56
次
|
|
|
|
|
5.
Shim K. An ID-based aggregate signature scheme with constant pairng computations.
Journal of Systems and Software,2010,83(10):1873-1880
|
被引
24
次
|
|
|
|
|
6.
Zhang C. An efficient identitybased batch verification scheme for vehicular sensor nehvorks.
Proceedings of IEEE INFOCOM'08,2008:246-250
|
被引
1
次
|
|
|
|
|
7.
Lee C C. Toward a secure batch verification with group testing for VANET.
Wireless Networks,2013,19(6):1441-1449
|
被引
12
次
|
|
|
|
|
8.
Horng S J. Enhancing security and privacy for identity-based batch verification scheme in VANET.
IEEE Transactions on Vehicular Technology,2015(99):1-12
|
被引
1
次
|
|
|
|
|
9.
Bayat M. A secure authentication scheme for VANETs with batch verification.
Wireless Networks,2015,21(5):1733-1743
|
被引
20
次
|
|
|
|
|
10.
He D. An efficient identitybased conditional privacy-preserving authentication scheme for vehicular ad hoc networks.
IEEE Transactions on Information Forensics and Security,2015,10(12):2681-2691
|
被引
21
次
|
|
|
|
|
11.
Pappu R.
Physicalone-way functions,2001
|
被引
1
次
|
|
|
|
|
12.
Li Jinglin. Internet of vehicles:the framework and key technology.
Journal of Beijing University of Posts and Telecommunications,2014,37(6):95-100
|
被引
3
次
|
|
|
|
|
13.
Burrows M. A logic of authentication.
Proceedings of Royal Society of London a Mathematical,Physical and Engineering Sciences,1989:233-271
|
被引
1
次
|
|
|
|
|
14.
刘博雅. 基于椭圆曲线密码的无线射频识别双向认证协议.
计算机工程,2017,43(1):196-200
|
被引
3
次
|
|
|
|
|
15.
Gong L. Reasoning about belief in cryptographic protocols.
Proceedings of 1990 IEEE Computer Society Symposium on Research in Security and Privacy,1990:234-248
|
被引
1
次
|
|
|
|
|
16.
马成林. 基于改进GNY逻辑的Kerberos*协议安全性分析.
计算机与数字工程,2014,42(10):1758-1762,1882
|
被引
4
次
|
|
|
|
|
17.
张学龙.
物理不可克隆函数电路研究,2014
|
被引
1
次
|
|
|
|
|
了解气象卫星更多信息，请访问