计算机应用研究

作者：倪亮,张亚伟,王念平,周恒昇,刘笑颜,谷兵珂,

单位：1.中原工学院计算机学院,郑州450007；2.信息工程大学密码工程学院,郑州450001；

关键词：口令认证密钥协商,基于格的密码,环上带误差学习,可证明安全,抗离线字典攻击,

基金：河南省科技攻关计划资助项目(232102210134,182102210130)；国家留学基金资助项目(201908410281)；国家自然科学基金资助项目(61672031)；河南省高等学校重点科研项目(21A520053)；；

口令认证密钥协商可以在客户机和服务器之间建立安全的远程通信，且可以将一个低熵口令放大为一个高熵的会话密钥。然而，随着量子计算技术的快速发展，基于大数分解和离散对数等经典数学难题的PAKA协议面临着严峻的安全挑战。因此，为了构建一个高效安全的后量子PAKA协议，依据改进的Bellare-Pointcheval-Rogaway（BPR）模型，提出了一个基于格的匿名两方PAKA协议，并且使用给出严格的形式化安全证明。性能分析结果表明，该方案与相关的PAKA协议相比，在安全性和执行效率等方面有一定优势，更适用于资源受限的物联网（Internet of Things，IoT）智能移动设备。

来源：2023年第4期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2023年第4期