期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议
被引量：
4
1
作者
尹安琪
曲彤洲
+3 位作者
郭渊博
汪定
陈琳
李勇飞
《电子学报》
EI
CAS
CSCD
北大核心
2022年第5期1140-1149,共10页
降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基...
降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基于格的SPHF多不能在超多项式模数下应用.为此,本文提出了两种格上基于密文标准语言的SPHFs,在不增加通信开销和存储开销的前提下解决了上述问题.基于上述SPHFs,本文提出了一种基于格的可证明安全的两轮PAKE协议,该协议可以抵抗量子攻击,在不需要零知识证明和随机预言机的前提下,降低了协议通信轮次和安全性假设;本文还基于更加准确的标准安全模型对所提出的协议进行了严格的安全性证明.实验证明,本文提出的协议具有更优的通信轮次复杂度、计算开销、安全性假设和实际安全性.
展开更多
关键词
口令
密钥交换
平滑投射哈希函数
可证明安全
格
抗量子
在线阅读
下载PDF
职称材料
可证明安全的抗量子两服务器口令认证密钥交换协议
被引量：
6
2
作者
尹安琪
郭渊博
+2 位作者
汪定
曲彤洲
陈琳
《通信学报》
EI
CSCD
北大核心
2022年第3期14-29,共16页
针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具...
针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具备不可区分适应性选择密文攻击(IND-CCA2)的安全性,并约束了所基于的公钥加密(PKE)方案中相关参数的大小。基于此,分别针对被动和主动敌手的攻击,提出了相应的格上可证明安全的两服务器PAKE协议。所提出的2个协议可抵御量子攻击且实现了唯口令设置,也不需要使用签名/验签、全同态加密、秘密共享等昂贵密码原语来保证安全性,被动敌手攻击下的协议还避免了零知识证明的使用。此外,在标准模型下,对所提出的2个协议进行了严格的安全性证明。实验结果表明,所提出的两方SPHF和两服务器PAKE协议的执行效率较高。
展开更多
关键词
口令认证密钥交换协议
两服务器
平滑投影哈希函数
可证明安全
抗量子
在线阅读
下载PDF
职称材料
题名
格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议
被引量：
4
1
作者
尹安琪
曲彤洲
郭渊博
汪定
陈琳
李勇飞
机构
信息工程大学电子技术学院
南开大学网络空间安全学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2022年第5期1140-1149,共10页
基金
国家自然科学基金(No.61501515,No.61601515)
信息保障技术重点实验室开放基金(No.KJ-15-108)。
文摘
降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基于格的SPHF多不能在超多项式模数下应用.为此,本文提出了两种格上基于密文标准语言的SPHFs,在不增加通信开销和存储开销的前提下解决了上述问题.基于上述SPHFs,本文提出了一种基于格的可证明安全的两轮PAKE协议,该协议可以抵抗量子攻击,在不需要零知识证明和随机预言机的前提下,降低了协议通信轮次和安全性假设;本文还基于更加准确的标准安全模型对所提出的协议进行了严格的安全性证明.实验证明,本文提出的协议具有更优的通信轮次复杂度、计算开销、安全性假设和实际安全性.
关键词
口令
密钥交换
平滑投射哈希函数
可证明安全
格
抗量子
Keywords
password
key exchange
sphf
(
smooth
projective
hash
function
)
provably secure
lattice
post-quantum
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
可证明安全的抗量子两服务器口令认证密钥交换协议
被引量：
6
2
作者
尹安琪
郭渊博
汪定
曲彤洲
陈琳
机构
信息工程大学密码工程学院
南开大学网络空间安全学院
南开大学天津市网络与数据安全技术重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2022年第3期14-29,共16页
基金
国家自然科学基金资助项目(No.61501515,No.61601515)。
文摘
针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具备不可区分适应性选择密文攻击(IND-CCA2)的安全性,并约束了所基于的公钥加密(PKE)方案中相关参数的大小。基于此,分别针对被动和主动敌手的攻击,提出了相应的格上可证明安全的两服务器PAKE协议。所提出的2个协议可抵御量子攻击且实现了唯口令设置,也不需要使用签名/验签、全同态加密、秘密共享等昂贵密码原语来保证安全性,被动敌手攻击下的协议还避免了零知识证明的使用。此外,在标准模型下,对所提出的2个协议进行了严格的安全性证明。实验结果表明,所提出的两方SPHF和两服务器PAKE协议的执行效率较高。
关键词
口令认证密钥交换协议
两服务器
平滑投影哈希函数
可证明安全
抗量子
Keywords
password-authenticated key exchange protocol
two-server
smooth
projective
hash
function
provably secure
quantum resistance
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议
尹安琪
曲彤洲
郭渊博
汪定
陈琳
李勇飞
《电子学报》
EI
CAS
CSCD
北大核心
2022
4
在线阅读
下载PDF
职称材料
2
可证明安全的抗量子两服务器口令认证密钥交换协议
尹安琪
郭渊博
汪定
曲彤洲
陈琳
《通信学报》
EI
CSCD
北大核心
2022
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
