|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种改进的无证书两方认证密钥协商协议显示文摘在不使用双线性映射的前提下,文中提出可证安全的高效无证书两方认证密钥协商协议,并在eCK安全模型和随机谕言机模型下基于离散对数困难问题证明了文中协议的安全性和不可伪造性;与目前已有的同类协议相比,文中协议具有更高的计算效率,同时具有已知密钥安全、完美的前后向安全性、抵抗未知密钥共享和密钥泄露伪装攻击等安全属性.文中协议更适用于基于身份的公钥系统,并在带宽受限的通信环境(如无线传感器网络、Ad-Hoc网络等)中具有较好的推广性. | 周彦伟 杨波 张文政 | 2017 | 计算机学报2017,40,5: | 17 |
| 2 | 基于双线性对的无证书两方认证密钥协商协议显示文摘无证书公钥密码体制具有很好的特性,它不需要使用证书,也不存在用户私钥托管问题。该文提出一个基于双线性对的无证书两方认证密钥协商协议,使用数字签名方案实现协议中的身份认证;对数字签名方案的安全性进行了证明,表明该签名方案能够抵抗适应性选择消息攻击下的存在性伪造;对密钥协商协议的安全性进行了分析,结果表明协议具备已知密钥安全、抗未知密钥共享攻击、完美前向安全、密钥俘获伪装攻击和抗临时私钥泄露攻击等安全属性。与其他具备相同安全属性的协议相比,该协议使用的双线性对运算的个数少得多,并且不使用模幂运算,因此计算量要小得多。 | 杨浩民 张尧学 周悦芝 | 2012 | 清华大学学报(自然科学版)2012,52,9: | 13 |
| 3 | 一种实用的无证书两方认证协议显示文摘Lippold等提出可证安全的无证书两方认证协议,但协议要求较大的计算量.基于Cash,Kiltz和Shoup提出的双diffie-hellman问题,提出新的无证书认证密钥协商协议.与Lippold的协议相比,新协议具有相同的消息带宽,并且降低了计算复杂度.最后,基于CDH假设和BDH假设,在随机预言模型下证明了协议的安全性. | 舒剑 | 2010 | 小型微型计算机系统2010,31,9: | 10 |
| 4 | A novel pairing-free certificateless authenticated key agreement protocol with provable security显示文摘 | Haiyan SUN Qiaoyan WEN Hua ZHANG Zhengping JIN | 2013 | Frontiers of Computer Science2013,7,4: | 10 |
| 5 | 不使用双线性对的无证书认证协议显示文摘基于离散对数问题,提出了一种不使用双线性对的无证书签密方案。利用该签密方案,提出了一种高效的、不使用双线性对的无证书认证协议,并在CK模型下提供安全性证明。分析表明,该协议具有双向实体认证、完美的向前保密性等安全属性,满足了认证的安全需求。此外,该认证协议仅需进行1次对称加密、3次指数运算和1轮通信即可完成,通信开销小,计算量较低。 | 朱辉 李晖 谭示崇 王育民 | 2010 | 武汉大学学报(信息科学版)2010,35,5: | 7 |
| 6 | 无双线性对无证书两方跨域认证密钥协商协议显示文摘针对双线性对运算复杂度较高,计算开销较大,提出了新的无双线性对无证书的两方跨域认证密钥协商协议。该协议解决了传统的基于身份的密码体制中固有的密钥托管问题,实现了跨域通信双方的身份验证,采用无双线性对运算,极大地降低了计算开销。在保证协议正确性的基础上,采用SVO逻辑对协议进行形式化分析,并验证了协议的认证性和安全性。与其他跨域两方认证密钥协商协议性能相比,该协议达到应具备的安全性的同时,其效率更优。 | 陈虹 郑艳艳 肖振久 | 2015 | 计算机工程与应用2015,51,7: | 5 |
| 7 | A strongly secure pairing-free certificateless authenticated key agreement protocol under the CDH assumption显示文摘Certificateless authenticated key agreement(CL-AKA) protocols have been studied a great deal since they neither suffer from a heavy certificate management burden nor have the key escrow problem. Recently, many efficient CL-AKA protocols without pairings have been built. However, these pairing-free CL-AKA protocols are either not proved in any formal security model or proved under the gap Diffie-Hellman(GDH)assumption, a non-standard and strong assumption. With available implementation technologies, pairings are needed to realize the GDH assumption, which means that these pairing-free CL-AKA protocols are not pure pairing-free. Furthermore, these protocols are insecure in the strengthened e CK(se CK) model, which encompasses the e CK model and considers leakages on intermediate results. In this paper, we present a pure pairing-free CL-AKA protocol, which is provably secure in the se CK model under the standard computational Diffie-Hellman(CDH) assumption. Compared with the existing CL-AKA protocols, the proposed protocol has advantage over them in security or efficiency. | Haiyan SUN Qiaoyan WEN Wenmin LI | 2016 | Science China(Information Sciences)2016,59,3: | 5 |
| 8 | 构建无证书的两方认证密钥协商协议显示文摘基于无证书的认证密钥协商方案相比基于PKI的方案具有身份管理的简单性,同时相比基于身份的方案具有无密钥托管性。基于可证安全的无证书加密方案提出了一个两方认证密钥协商方案.通过与其他方案在安全性和有效性方面的比较,该方案满足更多的安全属性要求,如完美前向安全性,PKG前向安全性,已知会话相关临时秘密信息安全性和无密钥托管等安全特性,同时具有良好的计算有效性。 | 侯孟波 徐秋亮 蒋瀚 | 2010 | 计算机工程与应用2010,46,8: | 5 |
| 9 | 基于无证书的两方跨域认证密钥协商协议显示文摘利用椭圆曲线上双线性对映射和离散对数问题,提出一种基于无证书的两方跨域认证密钥协商协议。该协议解决了传统的基于身份的跨域两方密钥协商协议中固有的密钥托管问题,实现了跨域通信双方的身份验证,防止了主动攻击。在保证协议正确性的基础上,采用应用Pi演算对协议进行形式化分析,并验证了协议的认证性和安全性。与其他跨域两方认证密钥协商协议性能相比,该协议的安全性和效率都更优。 | 刘小琼 潘进 李国朋 | 2012 | 计算机应用研究2012,29,2: | 4 |
| 10 | 无双线性对的无证书两方认证密钥协商协议显示文摘鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销。通过分析协议的正确性,采用Applied Pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性和认证性。与其他两方密钥协商协议相比,新方案具有更好的安全性和效率。 | 潘进 刘小琼 李国朋 | 2012 | 计算机应用研究2012,29,6: | 4 |
| 11 | 无双线性对的无证书两方密钥协商方案显示文摘近几年来,有许多无证书密钥协商方案相继被提出,它们都需要双线性对运算,而且它们中大部分不能抵抗密钥泄露伪装攻击和临时私钥泄露产生的攻击。2009年,Lippold等人提出一个可证安全无证书密钥协商协议,但该协议需要较大计算量。为了解决上述问题,给出了一个新的无双线性对运算无证书两方密钥协商方案,并分析了它的安全属性,只要每方至少有一个未泄露的秘密,那么新方案就是安全的。因此,即使密钥生成中心知道双方的临时私钥,新方案也是安全的。与Lippold等人的协议相比,新方案降低了计算复杂度。 | 刘文浩 许春香 | 2010 | 计算机应用研究2010,27,11: | 4 |
| 12 | 制造网格环境下无证书密钥协商方案显示文摘为解决网格技术中证书管理的复杂性问题,提出了无证书两方密钥协商新方案。新方案使用了显示认证方法,在随机预言模型下新方案的安全性得到了证明。只要每方至少有一个未泄露的秘密值,那么新方案就是安全的。新方案适合制造网格多信任域环境需求。与其他制造网格环境下密钥协商协议比较,新方案在计算效率上占优。 | 刘文浩 许春香 | 2011 | 计算机集成制造系统2011,17,1: | 4 |
| 13 | 可证安全的无证书两方认证密钥协商协议显示文摘研究无证书公钥密码系统中两方认证密钥协商协议问题.现有的无证书认证密钥协商协议大多被证明是不安全的,或者要求较大的计算量.基于Cash,Kiltz和Shoup提出的双Diffie-Hellman问题,设计了一个高效的两方无证书认证密钥协商协议.为构造双Diffie-Hellman问题的有效的判定预言,给出了产生部分私钥的通用方法.通用方法采用一个主私钥和两个哈希函数,然后将这种方法应用到协议的设计中.和其它可证安全的无证书认证密钥协商协议相比,新协议在消息带宽相同的情况下,降低了计算复杂度.并在随机预言模型中不借助于Gap假设证明了协议的安全性. | 舒剑 | 2012 | 小型微型计算机系统2012,33,9: | 4 |
| 14 | 面向Ad Hoc网络的无证书认证组密钥协商协议显示文摘安全和效率是影响无证书认证组密钥协商协议能否在Ad Hoc网络中得到实际应用的两个关键因素。针对这两个关键因素,以提高Ad Hoc网络安全组通信的安全性和效率为目标,提出一个无证书认证组密钥协商协议,基于椭圆曲线密码体制(ECC)点乘运算实现无配对的无证书认证组密钥协商和身份认证;并使用Huffman密钥树优化通信轮数,以降低计算量和通信量,提高组密钥协商效率。安全分析和性能分析表明,与现有基于无证书的组密钥协商协议相比,所提方案在组密钥协商时具有较高的效率和安全性,可以满足资源受限条件下组密钥建立以及组成员变动带来的密钥更新问题。 | 曹震寰 顾小卓 顾梦鹤 | 2019 | 计算机应用2019,39,2: | 3 |
| 15 | 一种轻量级基于证书的认证密钥协商方案显示文摘认证密钥协议对于在公共网络上安全通信至关重要,它使通信方能够在恶意攻击者当前安全地设置共享会话密钥.基于证书的密码学(CBC)很好地解决了传统公钥密码体制中的证书撤销问题、基于身份的密码体制中的密钥托管问题和无证书密码体制中安全信道建立困难问题.现有的基于证书认证密钥协商方案大多都采用了昂贵的双线性配对,不适合计算资源有限的移动设备.本文设计了一种轻量级的基于证书的AKA协议,该协议用假名技术实现用户身份匿名.该协议提供了前向保密,抵抗中间人攻击,重放攻击等安全性分析.与以往基于证书的AKA协议相比,该协议在计算效率上具有明显的优势. | 光笑黎 张露露 刘继增 | 2021 | 计算机系统应用2021,30,1: | 3 |
| 16 | 无证书可认证三方密钥协商协议显示文摘为了抵抗主动攻击,2010年陈家琪等人提出了一个可认证的无证书三方密钥协商协议,但该密钥协议不能抵抗被动敌手的攻击,也不能满足他文章中所陈述的一些安全属性。为了解决上述问题,在He De-biao等人的无证书两方密钥协商协议基础上,提出了一个新的无证书可认证三方密钥协商协议。对新协议进行了安全性分析和效率分析,结果表明,新协议满足无证书可认证三方密钥协商协议的安全要求。与陈家琪的协议相比,新协议中的双线性对的个数减少了,因而新协议的计算效率更高。 | 李旭东 谭红连 何明星 | 2014 | 计算机应用研究2014,31,7: | 2 |
| 17 | 无证书两方认证密钥协商协议攻击及改进显示文摘分析了Kim等人提出的不依赖于双线性对运算的无证书两方认证密钥协商协议,指出该协议在公钥替换攻击下不满足基本伪装攻击安全性,并给出了一个具体攻击。针对该协议存在的安全性缺陷,提出了一个改进的无证书两方认证密钥协商协议。分析表明,所提出的改进协议能够有效地抵抗公钥替换攻击并满足一些必要的安全属性。 | 张全领 陆阳 | 2015 | 信息技术2015,39,7: | 2 |
| 18 | 基于无证书的两方认证密钥协商协议显示文摘基于椭圆曲线上离散对数问题、双线性对映射和CDH假设,提出新的基于无证书的两方认证密钥协商协议,解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份验证,防止了主动攻击。最后,分析协议的正确性,应用pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性。与其它两方密钥协商协议性能相比,安全性和效率都更好。 | 李国朋 刘小琼 | 2011 | 计算机与现代化2011,,12: | 2 |
| 19 | 一个高效的无证书两方认证密钥协商协议显示文摘由于双线性对有高昂的计算代价,无双线性对的密码系统在近年来得到了广泛的关注。各种无双线性对的两方认证密钥协商协议在公钥密码体制(PKC)下被研究。为了克服传统公钥密码体制下复杂的证书管理问题和基于身份的密码体制固有的密钥托管问题,一些无证书认证密钥协商协议被提出。文中提出了一个安全高效的无双线性对的基于无证书的两方认证密钥协商协议,与相关的协议相比,文中的协议具有较低的计算代价。 | 裴雨潇 刘修恒 丛小飞 | 2017 | 信息技术2017,41,5: | 1 |
| 20 | 一种安全高效的无证书可认证密钥协商方案显示文摘针对两方密钥协商方案普遍存在高效性和安全性不可兼顾问题,在无证书公钥密码体制下给出一种安全高效的可认证两方密钥协商方案。该方案使用一般的而非映射到点的Hash函数并预先处理一个双线性对运算,降低计算复杂度,提高了执行效率;增加用户间的身份认证,提高了安全性。性能分析表明,新方案满足前向安全性;抗密钥泄露伪装攻击;已知会话临时秘密信息安全性等目前期望的安全属性,且有较好的执行效率。 | 马俊 王晓峰 | 2014 | 计算机与现代化2014,,3: | 1 |