检索结果-维普期刊中文期刊服务平台

标准模型下网关口令认证密钥交换协议的通用框架被引量：5: 1; 作者魏福山张振峰马传贵《计算机学报》 EI CSCD 北大核心 2012年第9期1833-1844,共12页; 网关口令认证密钥交换协议允许用户和网关在服务器的协助下建立起一个共享的会话密钥.网关口令协议适用于无线通信环境,如GSM和3GPP等.已有的网关口令认证密钥交换协议大多缺乏严格的安全证明,或者是在随机预言模型下证明安全的.该文采... 展开更多; 关键词口令认证网关平滑投射hash函数标准模型; 在线阅读下载PDF 职称材料

标准模型下高效的三方口令认证密钥交换协议被引量：10: 2; 作者魏福山马建峰 +1 位作者李光松马传贵《软件学报》 EI CSCD 北大核心 2016年第9期2389-2399,共11页; 三方口令认证密钥交换协议允许两个分别与服务器共享不同口令的用户在服务器的协助下建立共享的会话密钥,从而实现了用户间端到端的安全通信.现阶段,多数的三方口令认证密钥交换协议都是在随机预言模型下可证明安全的.但在实际应用中,... 展开更多; 关键词三方口令协议标准模型平滑投射哈希函数 DDH假设; 在线阅读下载PDF 职称材料

基于验证元的三方口令认证密钥交换协议被引量：8: 3; 作者杨晓燕侯孟波魏晓超《计算机研究与发展》 EI CSCD 北大核心 2016年第10期2230-2238,共9页; 三方口令认证密钥交换协议使2个分别与可信服务器共享不同口令的用户建立起秘密的会话密钥.这类协议的优点是用户只需要记忆一个口令就可以与其他注册用户进行通信,因而三方口令认证密钥交换协议更适用于大规模的端到端通信.现有的大多... 展开更多; 关键词认证密钥交换验证元平滑投影hash函数三方口令认证密钥交换标准模型; 在线阅读下载PDF 职称材料

格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议被引量：6: 4; 作者尹安琪曲彤洲 +3 位作者郭渊博汪定陈琳李勇飞《电子学报》 EI CAS CSCD 北大核心 2022年第5期1140-1149,共10页; 降低口令认证密钥交换(Password-based Authenticated Key Exchange,PAKE)协议的通信轮次和安全性假设是格上PAKE协议的重要优化方向.平滑投射哈希函数(Smooth Projective Hash Function,SPHF)是构造PAKE协议的重要数学工具,但现有的基... 展开更多; 关键词口令密钥交换平滑投射哈希函数可证明安全格抗量子; 在线阅读下载PDF 职称材料

可证明安全的抗量子两服务器口令认证密钥交换协议被引量：7: 5; 作者尹安琪郭渊博 +2 位作者汪定曲彤洲陈琳《通信学报》 EI CSCD 北大核心 2022年第3期14-29,共16页; 针对基于格的单服务器口令认证密钥交换(PAKE)协议不能抵抗服务器泄露攻击,而目前基于格的多服务器PAKE协议的执行效率较低且不适用于两服务器场景的问题,利用带误差学习(LWE),提出了格上第一个非适应性两方平滑投影哈希函数(SPHF),具... 展开更多; 关键词口令认证密钥交换协议两服务器平滑投影哈希函数可证明安全抗量子; 在线阅读下载PDF 职称材料

基于平滑投影散列函数的匿名凭证系统被引量：1: 6; 作者刘世超张立武《计算机应用与软件》 CSCD 北大核心 2014年第10期295-299,共5页; 匿名凭证系统和假名系统都是实现匿名认证的重要工具,但目前为止,这两种系统的经典构造方案在实际应用中仍有局限。对于属性公开的应用场景,经典的匿名凭证系统过于复杂,效率太低。假名系统虽然简单易用,但是其可关联性会泄露用户的行... 展开更多; 关键词匿名凭证平滑投影散列函数线性加密体制 Waters签名; 在线阅读下载PDF 职称材料

可证明安全的抗量子高效口令认证密钥交换协议被引量：5: 7; 作者尹安琪汪定 +2 位作者郭渊博陈琳唐迪《计算机学报》 EI CAS CSCD 北大核心 2022年第11期2321-2336,共16页; 基于格的口令认证密钥交换(Password-Authenticated Key Exchange,PAKE)协议在后量子时代具有广泛的应用前景.降低通信轮次可以有效提高执行效率,也是格上PAKE协议的重要优化方向.现有基于格的低轮次PAKE协议的构建方法主要有两种:一种... 展开更多; 关键词抗量子非适应性平滑投影哈希函数高效加法同态口令认证密钥交换协议可证明安全; 在线阅读下载PDF 职称材料

题名标准模型下网关口令认证密钥交换协议的通用框架被引量：5: 1; 作者魏福山张振峰马传贵; 机构信息工程大学信息工程学院信息研究系中国科学院软件研究所信息安全国家重点实验室; 出处《计算机学报》 EI CSCD 北大核心 2012年第9期1833-1844,共12页; 基金国家"八六三"高技术研究发展计划项目基金(2009AA01Z417) 国家自然科学基金(91118006 61170278)资助~~; 文摘网关口令认证密钥交换协议允许用户和网关在服务器的协助下建立起一个共享的会话密钥.网关口令协议适用于无线通信环境,如GSM和3GPP等.已有的网关口令认证密钥交换协议大多缺乏严格的安全证明,或者是在随机预言模型下证明安全的.该文采用模块化的设计方法提出了在标准模型下构造网关口令协议的通用框架.通用框架可以实现双向认证并且能够抵抗不可检测在线字典攻击,因此具有更强的安全性.利用DDH假设、二次剩余假设和N次剩余假设对通用框架进行实例化可以得到不同的标准模型下可证明安全的网关口令协议.; 关键词口令认证网关平滑投射hash函数标准模型; Keywords password-based authentication gateway smooth projective hash function standard model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名标准模型下高效的三方口令认证密钥交换协议被引量：10: 2; 作者魏福山马建峰李光松马传贵; 机构西安电子科技大学计算机学院密码科学技术国家重点实验室数学工程与先进计算国家重点实验室; 出处《软件学报》 EI CSCD 北大核心 2016年第9期2389-2399,共11页; 基金国家自然科学基金(61309016 61379150 +9 种基金 61201220 U1135002 U1405255) 陕西省博士后科学基金高校基本业务费项目(JB161501) 122102210126)~~; 文摘三方口令认证密钥交换协议允许两个分别与服务器共享不同口令的用户在服务器的协助下建立共享的会话密钥,从而实现了用户间端到端的安全通信.现阶段,多数的三方口令认证密钥交换协议都是在随机预言模型下可证明安全的.但在实际应用中,利用哈希函数对随机预言函数进行实例化的时候会给随机预言模型下可证明安全的协议带来安全隐患,甚至将导致协议不安全.以基于El Gamal加密的平滑投射哈希函数为工具,在共同参考串模型下设计了一种高效的三方口令认证密钥交换协议,并且在标准模型下基于DDH假设证明了协议的安全性.与已有的同类协议相比,该协议在同等的安全假设下具有更高的计算效率和通信效率,因此更适用于大规模的端到端通信环境.; 关键词三方口令协议标准模型平滑投射哈希函数 DDH假设; Keywords three-party password key exchange protocol standard model smooth projective hash function DDH assumption; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于验证元的三方口令认证密钥交换协议被引量：8: 3; 作者杨晓燕侯孟波魏晓超; 机构山东大学计算机科学与技术学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2016年第10期2230-2238,共9页; 基金国家自然科学基金项目(61572294)~~; 文摘三方口令认证密钥交换协议使2个分别与可信服务器共享不同口令的用户建立起秘密的会话密钥.这类协议的优点是用户只需要记忆一个口令就可以与其他注册用户进行通信,因而三方口令认证密钥交换协议更适用于大规模的端到端通信.现有的大多数三方口令认证密钥交换协议均基于随机谕言模型来实现,只有少数协议不依赖服务器拥有公钥,而且在标准模型下是可证明安全的.另外多数协议中的口令以明文的形式存储在服务器上,服务器信息泄露将对用户和服务器的数据安全带来极大的危害.在标准模型下,使用平滑投影Hash函数设计了一个基于验证元的三方口令认证密钥交换协议,并证明了协议的安全性.此协议满足抵抗服务器泄露、不可检测的在线字典攻击和密钥私密性等安全属性.; 关键词认证密钥交换验证元平滑投影hash函数三方口令认证密钥交换标准模型; Keywords authenticated key exchange(AKE) verifier smooth projective hash functions(sphfs) three-party password authenticated key exchange(3PAKE) standard model; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议被引量：6: 4; 作者尹安琪曲彤洲郭渊博汪定陈琳李勇飞; 机构信息工程大学电子技术学院南开大学网络空间安全学院; 出处《电子学报》 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 职称材料

题名可证明安全的抗量子两服务器口令认证密钥交换协议被引量：7: 5; 作者尹安琪郭渊博汪定曲彤洲陈琳; 机构信息工程大学密码工程学院南开大学网络空间安全学院南开大学天津市网络与数据安全技术重点实验室; 出处《通信学报》 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: 6; 作者刘世超张立武; 机构中国科学院软件研究所; 出处《计算机应用与软件》 CSCD 北大核心 2014年第10期295-299,共5页; 基金国家自然科学基金重点项目(91118006) 国家高技术研究发展计划项目(2012AA 01A403) +1 种基金信息网络安全公安部重点实验室(公安部第三研究所)开放基金课题(C11604); 文摘匿名凭证系统和假名系统都是实现匿名认证的重要工具,但目前为止,这两种系统的经典构造方案在实际应用中仍有局限。对于属性公开的应用场景,经典的匿名凭证系统过于复杂,效率太低。假名系统虽然简单易用,但是其可关联性会泄露用户的行为习惯等隐私,都不适用于此类场景。针对该类应用场景,基于平滑投影散列函数构造一个匿名系统,可以实现属性公开条件下的凭证证明,在实现用户属性认证的同时实现会话密钥传输。用户只需要常数次的计算,并且可以规约到经典的安全性假设,在这种场景中具有更强的实用性。; 关键词匿名凭证平滑投影散列函数线性加密体制 Waters签名; Keywords Anonymous credential smooth projective hash function Linear encryption Waters signature; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名可证明安全的抗量子高效口令认证密钥交换协议被引量：5: 7; 作者尹安琪汪定郭渊博陈琳唐迪; 机构信息工程大学电子技术学院南开大学网络空间安全学院天津市网络与数据安全技术重点实验室(南开大学); 出处《计算机学报》 EI CAS CSCD 北大核心 2022年第11期2321-2336,共16页; 基金国家自然科学基金(62172240) 京津冀基础研究合作专项(21JCZXJC00100)资助.; 文摘基于格的口令认证密钥交换(Password-Authenticated Key Exchange,PAKE)协议在后量子时代具有广泛的应用前景.降低通信轮次可以有效提高执行效率,也是格上PAKE协议的重要优化方向.现有基于格的低轮次PAKE协议的构建方法主要有两种:一种是基于非交互式零知识(Non-Interactive Zero-Knowledge,NIZK)证明,但在标准模型下如何在格上实现NIZK证明仍然是公开问题;另一种虽然宣称基于不可区分适应性选择密文攻击(Indistinguishability under Adaptive Chosen-Ciphertext Attack,IND-CCA2)的安全模型,但实际上只采用了不可区分性选择密文攻击(Indistinguishability under Chosen-Ciphertext Attack,IND-CCA1)安全的公钥加密(Public Key Encryption,PKE)方案,该类PAKE协议在现实应用时需要利用签名/验签等技术才能保证安全性.这两种方法都会增加计算和通信开销.为此,本文利用带误差学习(Learning with Errors,LWE)问题的加法同态属性,提出了一种格上IND-CCA2安全的非适应性平滑投影哈希函数(Smooth Projective Hash Function,SPHF),该函数支持一轮PAKE协议的构造;并确定了所基于的PKE方案中相关参数的大小,从而消除了LWE问题的不完全加法同态属性对SPHF正确性的影响.尽所知,这是格上第一个直接基于IND-CCA2安全模型的非适应性SPHF,且该SPHF具有相对独立的研究价值,可应用于证据加密、零知识证明和不经意传输等领域.基于此,本文构建了一种格上可证明安全的高效PAKE协议.该协议可以抵御量子攻击;只需要一轮通信,因而具有最优的通信轮次;是基于标准模型,所以避免了使用随机预言机的潜在安全威胁,特别是使用随机预言机可能导致格上PAKE协议遭受离线口令猜测攻击和量子攻击;在实际应用时,该协议也不需要利用NIZK证明和签名/验签等技术来保证安全性,这有效提高了执行效率.本文还利用人人网474万口令数据验证了基于CDF-Zipf定律的PAKE协议安全模型可以更加准确地评估PAKE协议所提供的安全强度;最后基于该安全性模型,本文在标准模型下对所提出的PAKE协议进行了严格的安全性证明.实验结果表明,与其它相关协议相比,本文协议具有最优的整体执行效率和最低的通信开销.; 关键词抗量子非适应性平滑投影哈希函数高效加法同态口令认证密钥交换协议可证明安全; Keywords quantum resistance word-independent smooth projective hash function efficient additive homomorphism password-authenticated key exchange provably secure; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	标准模型下网关口令认证密钥交换协议的通用框架	魏福山张振峰马传贵	《计算机学报》 EI CSCD 北大核心	2012	5	在线阅读下载PDF 职称材料
2	标准模型下高效的三方口令认证密钥交换协议	魏福山马建峰李光松马传贵	《软件学报》 EI CSCD 北大核心	2016	10	在线阅读下载PDF 职称材料
3	基于验证元的三方口令认证密钥交换协议	杨晓燕侯孟波魏晓超	《计算机研究与发展》 EI CSCD 北大核心	2016	8	在线阅读下载PDF 职称材料
4	格上基于密文标准语言的可证明安全两轮口令认证密钥交换协议	尹安琪曲彤洲郭渊博汪定陈琳李勇飞	《电子学报》 EI CAS CSCD 北大核心	2022	6	在线阅读下载PDF 职称材料
5	可证明安全的抗量子两服务器口令认证密钥交换协议	尹安琪郭渊博汪定曲彤洲陈琳	《通信学报》 EI CSCD 北大核心	2022	7	在线阅读下载PDF 职称材料
6	基于平滑投影散列函数的匿名凭证系统	刘世超张立武	《计算机应用与软件》 CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
7	可证明安全的抗量子高效口令认证密钥交换协议	尹安琪汪定郭渊博陈琳唐迪	《计算机学报》 EI CAS CSCD 北大核心	2022	5	在线阅读下载PDF 职称材料