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

通用可组合的网关口令认证密钥交换协议被引量：1: 1; 作者胡学先张启慧 +1 位作者张振峰刘凤梅《计算机学报》 EI CSCD 北大核心 2017年第5期1109-1120,共12页; 网关口令认证密钥交换(GPAKE)协议是一类特殊的三方协议,其中客户和认证服务器共享有低熵口令,客户和网关在服务器的协助下生成高熵的会话密钥.由于通信架构更贴近实际,GPAKE协议研究近年来受到了较多的关注.然而,已有GPAKE协议都是在传... 展开更多; 关键词可证明安全通用可组合口令认证密钥交换网关协议; 在线阅读下载PDF 职称材料

发送者非否认协议的UC形式化分析: 2; 作者杨杰《计算机工程》 CAS CSCD 北大核心 2009年第20期128-130,共3页; UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列... 展开更多; 关键词非否认协议发送者非否认性形式化分析 UCSA框架; 在线阅读下载PDF 职称材料

一种通用可组合安全的快速密钥交换协议被引量：2: 3; 作者齐庆磊张浩军王逸芳《计算机工程》 CAS CSCD 北大核心 2011年第20期94-96,共3页; 针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络。利用通用可组合安全... 展开更多; 关键词 IPSEC协议协议安全性协议分析快速密钥交换协议通用可组合安全性; 在线阅读下载PDF 职称材料

UC安全计算的一种信任模型被引量：2: 4; 作者张妤胡杰《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2012年第3期106-111,共6页; UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种... 展开更多; 关键词密码协议通用可组合安全计算承诺协议信任模型; 在线阅读下载PDF 职称材料

通用可组合安全计算的信任模型研究: 5; 作者张妤阴建强胡杰《计算机应用》 CSCD 北大核心 2012年第5期1371-1374,共4页; 通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻... 展开更多; 关键词密码协议通用可组合安全计算基础假定信任模型; 在线阅读下载PDF 职称材料

UC安全性证明中模拟器构造方法研究: 6; 作者张妤黄周晶《计算机工程与设计》 CSCD 北大核心 2012年第3期906-910,共5页; 在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指... 展开更多; 关键词密码协议通用可组合安全分析模型安全性证明模拟器构造方法; 在线阅读下载PDF 职称材料

一般化通用可组合安全框架研究: 7; 作者张妤彭亮《计算机工程与设计》 CSCD 北大核心 2012年第4期1271-1274,1284,共5页; 分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框... 展开更多; 关键词密码协议通用可组合一般化通用可组合安全分析框架全局建立假定信任模型; 在线阅读下载PDF 职称材料

调和UC模型和DDMP模型的方法: 8; 作者张妤焦健《计算机工程与设计》北大核心 2016年第10期2617-2621,共5页; 通过对基于计算复杂性方法的UC模型和基于逻辑证明方法的DDMP模型这两种密码协议分析模型的研究和比较,提出结合两个模型的方法,证明两个模型中安全性的对应关系。应用示例结果表明,使用该密码协议分析方法能够得到通用可组合的、计算... 展开更多; 关键词密码协议安全性分析 UC模型 DDMP模型调和; 在线阅读下载PDF 职称材料

题名通用可组合的网关口令认证密钥交换协议被引量：1: 1; 作者胡学先张启慧张振峰刘凤梅; 机构中国人民解放军信息工程大学中国科学院软件研究所可信计算与信息保障实验室信息保障技术重点实验室; 出处《计算机学报》 EI CSCD 北大核心 2017年第5期1109-1120,共12页; 基金国家"九七三"重点基础研究发展规划项目基金(2013CB338003 2012CB315905) +5 种基金国家自然科学基金(61502527 U1536205 61379150 61572485) 信息保障技术重点实验室开放基金(KJ-14-004)资助~~; 文摘网关口令认证密钥交换(GPAKE)协议是一类特殊的三方协议,其中客户和认证服务器共享有低熵口令,客户和网关在服务器的协助下生成高熵的会话密钥.由于通信架构更贴近实际,GPAKE协议研究近年来受到了较多的关注.然而,已有GPAKE协议都是在传统"孤立"的安全模型中进行分析和设计的,没有考虑协议的可组合安全,也没有考虑用户将相关口令用于不同协议时的影响.为了保证GPAKE协议在更接近实际应用的复杂环境下的安全性,该文在通用可组合(UC)框架下研究GPAKE协议的安全性定义,给出了GPAKE的理想功能,对会话密钥安全、防止恶意网关猜测客户口令以及保持会话密钥相对于服务器的私密性等安全目标进行了刻画,保证了协议在复杂应用环境中的可组合安全性,还考虑了用户将服从任意分布的、甚至是与其他协议相关的口令用于GPAKE协议的情况.另外,利用UC安全两方PAKE协议、消息认证码为组件,给出了GPAKE协议的一个通用构造,使其能够被实例化得到多个具体的协议,并证明了该通用构造是UC安全的,即能够UC安全实现GPAKE理想功能.; 关键词可证明安全通用可组合口令认证密钥交换网关协议; Keywords provable security universal composability framework password authentication key exchange gateway-oriented protocol; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名发送者非否认协议的UC形式化分析: 2; 作者杨杰; 机构上海交通大学电子信息与电气工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2009年第20期128-130,共3页; 基金国家"973"计划基金资助项目(2003CB317005) 国家自然科学基金资助项目(60573002 60703033); 文摘 UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列和构造模拟进程的方法分析两者在UCSA框架下的可靠性和完备性。结果表明两者在UCSA框架下是等价的。; 关键词非否认协议发送者非否认性形式化分析 UCSA框架; Keywords non-repudiation protocol sender non-repudiation formal analysis universally composable Symbolic analysis（UCSA） framework; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种通用可组合安全的快速密钥交换协议被引量：2: 3; 作者齐庆磊张浩军王逸芳; 机构河南工业大学信息科学与工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第20期94-96,共3页; 基金河南省重点科技攻关计划基金资助项目(072102210029) 河南工业大学高层次人才基金资助项目(2007BS019) 河南省青年骨干教师基金资助项目; 文摘针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络。利用通用可组合安全模型证明该协议能够实现安全会话理想函数,具有通用可组合安全性。; 关键词 IPSEC协议协议安全性协议分析快速密钥交换协议通用可组合安全性; Keywords IPSec protocol protocol security protocol analysis Just Fast Keying（JFKi） protocol universally composable（UC） security; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名UC安全计算的一种信任模型被引量：2: 4; 作者张妤胡杰; 机构解放军信息工程大学电子技术学院装甲兵工程学院; 出处《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2012年第3期106-111,共6页; 基金国家自然科学基金资助项目(60703115) 国家"863"计划资助项目(2007AA01Z405); 文摘 UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。; 关键词密码协议通用可组合安全计算承诺协议信任模型; Keywords cryptographic protocol universally composable secure computation commitment protocol trust model; 分类号 TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名通用可组合安全计算的信任模型研究: 5; 作者张妤阴建强胡杰; 机构信息工程大学电子技术学院郑州电子信息中等专业学校电子信息系装甲兵工程学院院办公室; 出处《计算机应用》 CSCD 北大核心 2012年第5期1371-1374,共4页; 基金国家863计划项目(2007AA01Z405); 文摘通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻画这些基础假定的信任模型的设计原理,比较了它们的异同和优缺点,并展望了未来的研究方向。; 关键词密码协议通用可组合安全计算基础假定信任模型; Keywords cryptographic protocol universally composable （UC） security computation set-up assumption trustmodel; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术] TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名UC安全性证明中模拟器构造方法研究: 6; 作者张妤黄周晶; 机构解放军信息工程大学电子技术学院 [; 出处《计算机工程与设计》 CSCD 北大核心 2012年第3期906-910,共5页; 基金国家863高技术研究发展计划基金项目(2007AA01Z405) 河南省科技创新杰出青年基金项目(104100510025); 文摘在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析。为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方法。; 关键词密码协议通用可组合安全分析模型安全性证明模拟器构造方法; Keywords cryptographic protocol universally composable security analysis framework security proof simulator construc-ting method; 分类号 TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一般化通用可组合安全框架研究: 7; 作者张妤彭亮; 机构解放军信息工程大学电子技术学院 [; 出处《计算机工程与设计》 CSCD 北大核心 2012年第4期1271-1274,1284,共5页; 基金国家863高技术研究发展计划基金项目(2007AA01Z405) 河南省科技创新杰出青年基金项目(2007AA01Z405); 文摘分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。; 关键词密码协议通用可组合一般化通用可组合安全分析框架全局建立假定信任模型; Keywords cryptographic protocol universal composability generalized universally composable security framework globalset-up assumption trust model; 分类号 TN918 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名调和UC模型和DDMP模型的方法: 8; 作者张妤焦健; 机构空军航空大学飞行器控制系 [; 出处《计算机工程与设计》北大核心 2016年第10期2617-2621,共5页; 基金国家自然科学基金青年科学基金项目(61301233); 文摘通过对基于计算复杂性方法的UC模型和基于逻辑证明方法的DDMP模型这两种密码协议分析模型的研究和比较,提出结合两个模型的方法,证明两个模型中安全性的对应关系。应用示例结果表明,使用该密码协议分析方法能够得到通用可组合的、计算可靠的、清晰易检查的协议安全性形式化证明,有助于揭示UC模型中理想功能的结构内涵。; 关键词密码协议安全性分析 UC模型 DDMP模型调和; Keywords cryptographic protocol security analysis UC framework DDMP framework reconciliation; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	通用可组合的网关口令认证密钥交换协议	胡学先张启慧张振峰刘凤梅	《计算机学报》 EI CSCD 北大核心	2017	1	在线阅读下载PDF 职称材料
2	发送者非否认协议的UC形式化分析	杨杰	《计算机工程》 CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
3	一种通用可组合安全的快速密钥交换协议	齐庆磊张浩军王逸芳	《计算机工程》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
4	UC安全计算的一种信任模型	张妤胡杰	《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
5	通用可组合安全计算的信任模型研究	张妤阴建强胡杰	《计算机应用》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
6	UC安全性证明中模拟器构造方法研究	张妤黄周晶	《计算机工程与设计》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
7	一般化通用可组合安全框架研究	张妤彭亮	《计算机工程与设计》 CSCD 北大核心	2012	0	在线阅读下载PDF 职称材料
8	调和UC模型和DDMP模型的方法	张妤焦健	《计算机工程与设计》北大核心	2016	0	在线阅读下载PDF 职称材料