基于椭圆曲线的高效远程用户认证协议  

An Efficient Remote User Authentication Protocol Based on Elliptic Curve

作　　者：周鑫[1] 文康 翁柏森 吴奕霄 王圣宝 

机构地区：[1]杭州师范大学信息科学与技术学院,浙江 杭州

出　　处：《应用数学进展》2022年第12期8550-8566,共17页Advances in Applied Mathematics

摘　　要：大部分现有远程用户认证方案都存在效率不高的缺点,因此不适用于资源受限设备。鉴于此,我们提出一个新的高效的远程用户认证协议。该协议采用椭圆曲线密码技术,并且使用智能卡存储长期秘密数据。我们分别使用形式化验证工具ProVerif、BAN逻辑以及非形式化方法验证和分析协议的安全性。结果表明新协议能抵抗多种常见攻击。通过与现有相关协议进行比较,表明新协议在性能方面也具有优势。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.

关 键 词：形式化验证 BAN逻辑 椭圆曲线 非形式化方法 智能卡 协议的安全性 远程用户认证 资源受限设备 

分 类 号：O175.25[理学—数学]