%0 Journal Article
%T 基于椭圆曲线的高效远程用户认证协议<br>An Efficient Remote User Authentication Protocol Based on Elliptic Curve
%A 周鑫
%A 文康
%A 翁柏森
%A 吴奕霄
%A 王圣宝
%J Advances in Applied Mathematics
%P 8550-8566
%@ 2324-8009
%D 2022
%I Hans Publishing
%R 10.12677/AAM.2022.1112902
%X 大部分现有远程用户认证方案都存在效率不高的缺点，因此不适用于资源受限设备。鉴于此，我们提出一个新的高效的远程用户认证协议。该协议采用椭圆曲线密码技术，并且使用智能卡存储长期秘密数据。我们分别使用形式化验证工具ProVerif、BAN逻辑以及非形式化方法验证和分析协议的安全性。结果表明新协议能抵抗多种常见攻击。通过与现有相关协议进行比较，表明新协议在性能方面也具有优势。<br />
Most existing remote user authentication schemes suffer from inefficiencies and are therefore not suitable for resource-constrained devices. In view of this, we propose a new efficient remote user authentication protocol. The protocol uses elliptic curve cryptography and uses smart cards to store long-term secret data. We verify and analyze the security of the protocol using the formal verifica-tion tool ProVerif, BAN logic, and non-formal methods, respectively. The results show that the new protocol is resistant to a variety of common attacks. A comparison with existing related protocols shows that the new protocol also has performance advantages.
%K 认证协议，椭圆曲线，BAN逻辑，双因子，Authentication Protocol
%K Elliptic Curves
%K BAN Logic
%K Two-Factor
%U http://www.hanspub.org/journal/PaperInformation.aspx?PaperID=58888