典型文献
格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议
文献摘要：
降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基于格的SPHF多不能在超多项式模数下应用.为此,本文提出了两种格上基于密文标准语言的SPHFs,在不增加通信开销和存储开销的前提下解决了上述问题.基于上述SPHFs,本文提出了一种基于格的可证明安全的两轮PAKE协议,该协议可以抵抗量子攻击,在不需要零知识证明和随机预言机的前提下,降低了协议通信轮次和安全性假设;本文还基于更加准确的标准安全模型对所提出的协议进行了严格的安全性证明.实验证明,本文提出的协议具有更优的通信轮次复杂度、计算开销、安全性假设和实际安全性.
文献关键词：
口令;密钥交换;平滑投射哈希函数;可证明安全;格;抗量子
中图分类号：
作者姓名：
尹安琪;曲彤洲;郭渊博;汪定;陈琳;李勇飞
作者机构：
信息工程大学电子技术学院,河南郑州450001;南开大学网络空间安全学院,天津300350
文献出处：
引用格式：
[1]尹安琪;曲彤洲;郭渊博;汪定;陈琳;李勇飞-.格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议)[J].电子学报,2022(05):1140-1149
A类：
Authenticated,平滑投射哈希函数,SPHFs
B类：
密文,标准语,可证明安全,两轮,口令认证密钥交换协议,Password,Key,Exchange,PAKE,轮次,优化方向,Smooth,Projective,Hash,Function,要数,数学工具,多项式,模数,两种格,通信开销,存储开销,抗量子攻击,零知识证明,随机预言机,安全模型,安全性证明,计算开销,实际安全性
AB值：
0.309336
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
