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

WAPI密钥管理协议的PCL证明被引量：7: 1; 作者铁满霞李建东王育民《电子与信息学报》 EI CSCD 北大核心 2009年第2期444-447,共4页; 该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关:接着,根据顺序合成... 展开更多; 关键词无线局域网无线局域网鉴别与保密基础结构密钥管理协议协议合成逻辑安全性证明; 在线阅读下载PDF 职称材料

UCAP:云计算中一种PCL安全的用户认证协议被引量：1: 2; 作者李学峰张俊伟马建峰《通信学报》 EI CSCD 北大核心 2018年第8期94-105,共12页; 云计算利用网络使IT服务变得弹性可变,如果用户需要登录到云端来使用服务与应用,系统需要确保使用者的身份合法,才能为其服务。为此,提出一种面向云计算协议组合逻辑(PCL,protocol composition logic)安全的用户认证协议(UCAP)。UCAP引... 展开更多; 关键词云计算用户认证协议组合逻辑机密性相互认证; 在线阅读下载PDF 职称材料

协议组合逻辑安全的WiMAX无线网络认证协议被引量：6: 3; 作者冯涛张子彬马建峰《电子与信息学报》 EI CSCD 北大核心 2010年第9期2106-2111,共6页; 国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMA... 展开更多; 关键词无线网络认证协议协议演绎系统协议组合逻辑 WIMAX; 在线阅读下载PDF 职称材料

基于可信芯片的平台身份证明方案研究被引量：10: 4; 作者张倩颖冯登国赵世军《通信学报》 EI CSCD 北大核心 2014年第8期95-106,共12页; 对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案。与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信... 展开更多; 关键词可信计算平台身份证明协议组合逻辑匿名性; 在线阅读下载PDF 职称材料

Otway-Rees协议改进及形式化证明被引量：3: 5; 作者鲁来凤段新东马建峰《通信学报》 EI CSCD 北大核心 2012年第S1期250-254,共5页; 选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好... 展开更多; 关键词安全协议形式化方法协议组合逻辑 OTWAY-REES协议; 在线阅读下载PDF 职称材料

认证邮件协议的安全性分析与改进被引量：2: 6; 作者高悦翔彭代渊闫丽丽《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第2期300-305,共6页; 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如... 展开更多; 关键词认证邮件协议组合协议分析 KAILAR逻辑可追究性; 在线阅读下载PDF 职称材料

协议组合逻辑安全的4G无线网络接入认证方案被引量：9: 7; 作者王丽丽冯涛马建峰《通信学报》 EI CSCD 北大核心 2012年第4期77-84,共8页; 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案... 展开更多; 关键词自证实公钥协议组合逻辑协议演绎系统认证协议 4G; 在线阅读下载PDF 职称材料

题名WAPI密钥管理协议的PCL证明被引量：7: 1; 作者铁满霞李建东王育民; 机构西安电子科技大学ISN国家重点实验室西安电子科技大学信息科学研究所; 出处《电子与信息学报》 EI CSCD 北大核心 2009年第2期444-447,共4页; 基金国家杰出青年科学基金(60725105) 国家自然科学基金重大项目(60496316) +1 种基金国家863计划项目(2007AA01Z217) 国家自然科学基金(60572146)资助课题; 文摘该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关:接着,根据顺序合成规则与阶段合成定理,由于参与协议运行的实体避免了基于同一BK担当AE和ASUE两种角色,且每个子协议的运行都不干扰或不破坏其他子协议的环境条件,故WAPI密钥管理协议具有所需的安全属性,达到协议设计目标。; 关键词无线局域网无线局域网鉴别与保密基础结构密钥管理协议协议合成逻辑安全性证明; Keywords WLAN WLAN Authentication and Privacy Infrastructure（WAPI） Key management protocol protocol composition logic （pcl） Security proof; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名UCAP:云计算中一种PCL安全的用户认证协议被引量：1: 2; 作者李学峰张俊伟马建峰; 机构青海广播电视大学教育信息技术与资源建设中心西安电子科技大学计算机学院; 出处《通信学报》 EI CSCD 北大核心 2018年第8期94-105,共12页; 基金国家自然科学基金资助项目(No.61472310 No.61372075) +1 种基金青海社会科学规划课题基金资助项目(No.16034)~~; 文摘云计算利用网络使IT服务变得弹性可变,如果用户需要登录到云端来使用服务与应用,系统需要确保使用者的身份合法,才能为其服务。为此,提出一种面向云计算协议组合逻辑(PCL,protocol composition logic)安全的用户认证协议(UCAP)。UCAP引入了可信第三方,使用基于对称加密密钥的认证方法,确保参与认证双方的相互认证,实现协议会话的认证性和密钥机密性。协议主要分成2个阶段:初始认证阶段,由可信第三方生成根会话密钥后,认证双方相互认证;重认证阶段,不需要可信第三方的参与,认证双方快速生成子会话密钥并实现相互认证。在协议组合逻辑模型下给出所提协议的形式化描述并利用顺序组合证明方法分析了所提协议的安全属性。同其他相关协议比较及实验分析表明,UCAP在不影响安全性的前提下,提高了用户认证的通信与计算效率,不但在重认证阶段不依赖可信第三方,而且整个过程不依赖可信第三方同步时钟。; 关键词云计算用户认证协议组合逻辑机密性相互认证; Keywords cloud computing user authentication protocol composition logic confidentiality mutual authentication; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名协议组合逻辑安全的WiMAX无线网络认证协议被引量：6: 3; 作者冯涛张子彬马建峰; 机构兰州理工大学计算机与通信学院西安电子科技大学计算机网络与信息安全教育部重点实验室福建师范大学网络安全与密码技术重点实验室; 出处《电子与信息学报》 EI CSCD 北大核心 2010年第9期2106-2111,共6页; 基金国家高技术研究发展计划(863)(2007AA01Z429) 国家自然科学基金(60702059 +3 种基金 60972078) 兰州理工大学博士基金(BS14200901)资助课题; 文摘国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。; 关键词无线网络认证协议协议演绎系统协议组合逻辑 WIMAX; Keywords Wireless network Authentication protocol protocol Derivation System （PDS） protocol composition logic （pcl） WiMAX; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于可信芯片的平台身份证明方案研究被引量：10: 4; 作者张倩颖冯登国赵世军; 机构中国科学院软件研究所中国科学院大学; 出处《通信学报》 EI CSCD 北大核心 2014年第8期95-106,共12页; 基金国家自然科学基金资助项目(91118006 61202414) 国家重点基础研究发展计划("973"计划)基金资助项目(2013CB338003)~~; 文摘对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案。与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性。利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性。原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境。; 关键词可信计算平台身份证明协议组合逻辑匿名性; Keywords trusted computing platform identity attestation protocol composition logic anonymity; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Otway-Rees协议改进及形式化证明被引量：3: 5; 作者鲁来凤段新东马建峰; 机构陕西师范大学数学与信息科学学院南阳理工学院软件学院西安电子科技大学计算机网络与信息安全教育部重点实验室; 出处《通信学报》 EI CSCD 北大核心 2012年第S1期250-254,共5页; 基金国家自然科学基金资助项目(61173190) 陕西省自然科学基金资助项目(2009JM8002 +3 种基金 2012JQ8023) GK201002041 GK201002037)~~; 文摘选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好地形式化描述AOR协议,对传统的PCL进行一定的扩展;紧接着,用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述,将改进后的协议进行模块化划分,并利用PCL进行组合证明;最后,得出改进后的AOR协议具有密钥保密属性。; 关键词安全协议形式化方法协议组合逻辑 OTWAY-REES协议; Keywords security protocol formal methods protocol composition logic protocol Otway-Rees; 分类号 TN91-55 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名认证邮件协议的安全性分析与改进被引量：2: 6; 作者高悦翔彭代渊闫丽丽; 机构西南交通大学信息安全与国家计算网格实验室四川师范大学计算机科学学院成都信息工程学院网络工程学院; 出处《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第2期300-305,共6页; 基金四川省教育厅重点项目基金(10ZA009); 文摘认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。; 关键词认证邮件协议组合协议分析 KAILAR逻辑可追究性; Keywords certified e-mail protocol compositional analysis Kailar logic non-repudiation; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名协议组合逻辑安全的4G无线网络接入认证方案被引量：9: 7; 作者王丽丽冯涛马建峰; 机构兰州理工大学计算机与通信学院福建师范大学网络安全与密码技术重点实验室西安电子科技大学计算机网络与信息安全教育部重点实验室; 出处《通信学报》 EI CSCD 北大核心 2012年第4期77-84,共8页; 基金国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429) 国家自然科学基金资助项目(60972078) +3 种基金网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~; 文摘针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率。; 关键词自证实公钥协议组合逻辑协议演绎系统认证协议 4G; Keywords self-certified public key protocol composition logic protocol derivation system authentication protocol 4G; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	WAPI密钥管理协议的PCL证明	铁满霞李建东王育民	《电子与信息学报》 EI CSCD 北大核心	2009	7	在线阅读下载PDF 职称材料
2	UCAP:云计算中一种PCL安全的用户认证协议	李学峰张俊伟马建峰	《通信学报》 EI CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
3	协议组合逻辑安全的WiMAX无线网络认证协议	冯涛张子彬马建峰	《电子与信息学报》 EI CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
4	基于可信芯片的平台身份证明方案研究	张倩颖冯登国赵世军	《通信学报》 EI CSCD 北大核心	2014	10	在线阅读下载PDF 职称材料
5	Otway-Rees协议改进及形式化证明	鲁来凤段新东马建峰	《通信学报》 EI CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
6	认证邮件协议的安全性分析与改进	高悦翔彭代渊闫丽丽	《电子科技大学学报》 EI CAS CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
7	协议组合逻辑安全的4G无线网络接入认证方案	王丽丽冯涛马建峰	《通信学报》 EI CSCD 北大核心	2012	9	在线阅读下载PDF 职称材料