基于椭圆曲线的高效远程用户认证协议
An Efficient Remote User Authentication Protocol Based on Elliptic Curve作者机构:杭州师范大学信息科学与技术学院浙江 杭州
出 版 物:《应用数学进展》 (Advances in Applied Mathematics)
年 卷 期:2022年第11卷第12期
页 面:8550-8566页
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
主 题:形式化验证 BAN逻辑 椭圆曲线 非形式化方法 智能卡 协议的安全性 远程用户认证 资源受限设备
摘 要:大部分现有远程用户认证方案都存在效率不高的缺点,因此不适用于资源受限设备。鉴于此,我们提出一个新的高效的远程用户认证协议。该协议采用椭圆曲线密码技术,并且使用智能卡存储长期秘密数据。我们分别使用形式化验证工具ProVerif、BAN逻辑以及非形式化方法验证和分析协议的安全性。结果表明新协议能抵抗多种常见攻击。通过与现有相关协议进行比较,表明新协议在性能方面也具有优势。