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

安全协议的形式化分析方法研究被引量：3: 1; 作者陈平刘东喜白英彩《计算机应用与软件》 CSCD 北大核心 2003年第5期48-50,71,共4页; 安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化... 展开更多; 关键词通信协议安全协议形式化分析方法信息安全网络安全计算机网络; 在线阅读下载PDF 职称材料

一种改进的基于认证测试的形式化分析方法被引量：1: 2; 作者姚萌萌朱正超刘明达《信息网络安全》 CSCD 北大核心 2019年第1期27-33,共7页; 近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常... 展开更多; 关键词串空间认证测试形式化分析方法安全协议; 在线阅读下载PDF 职称材料

密码协议形式化分析方法研究被引量：5: 3; 作者王汝传《信息网络安全》 2005年第7期24-26,共3页; 项目背景南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江... 展开更多; 关键词形式化分析方法密码协议计算机信息处理技术国家自然科学基金 2001年重点实验室江苏省计算机系研究课题研究计划科技项目发展趋势; 在线阅读下载PDF 职称材料

基于递归认证测试的SIP协议形式化分析: 4; 作者姚萌萌王宇洪瑜平《信息网络安全》 CSCD 北大核心 2024年第10期1586-1594,共9页; 文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过... 展开更多; 关键词 SIP协议递归认证测试串空间形式化分析方法; 在线阅读下载PDF 职称材料

Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4: 5; 作者吴名欢程小辉《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页; 通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸... 展开更多; 关键词 CASPER FDR 协议形式化分析方法串空间; 在线阅读下载PDF 职称材料

一种颜色Petri网的电子商务协议分析方法被引量：1: 6; 作者王宝文卢贝 +1 位作者司亚利刘文远《小型微型计算机系统》 CSCD 北大核心 2013年第11期2594-2598,共5页; 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,... 展开更多; 关键词形式化分析方法电子商务协议颜色PETRI网 CPN TOOLS KZG协议; 在线阅读下载PDF 职称材料

统一的安全属性形式化描述方法的研究: 7; 作者谢鸿波吴远成周明天《计算机科学》 CSCD 北大核心 2008年第9期172-174,186,共4页; 安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细... 展开更多; 关键词协议分析形式化分析方法安全属性; 在线阅读下载PDF 职称材料

协议主体密钥在测试组件构造上的性质分析被引量：6: 8; 作者余磊魏仕民《计算机工程与应用》 CSCD 2013年第6期114-117,共4页; 针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模... 展开更多; 关键词安全协议形式化分析方法串空间模型认证测试消息组件测试组件; 在线阅读下载PDF 职称材料

题名安全协议的形式化分析方法研究被引量：3: 1; 作者陈平刘东喜白英彩; 机构上海交通大学计算机科学与工程系; 出处《计算机应用与软件》 CSCD 北大核心 2003年第5期48-50,71,共4页; 文摘安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。; 关键词通信协议安全协议形式化分析方法信息安全网络安全计算机网络; Keywords Security protocols Logic Model; 分类号 TN915.04 [电子电信—通信与信息系统] TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种改进的基于认证测试的形式化分析方法被引量：1: 2; 作者姚萌萌朱正超刘明达; 机构江南计算技术研究所; 出处《信息网络安全》 CSCD 北大核心 2019年第1期27-33,共7页; 基金国家自然科学基金[91430214 6732018] 核高基重大专项[2017ZX01028101]; 文摘近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法——递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。; 关键词串空间认证测试形式化分析方法安全协议; Keywords strand space authentication tests formal analysis method security protocol; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名密码协议形式化分析方法研究被引量：5: 3; 作者王汝传; 机构南京邮电大学计算机系; 出处《信息网络安全》 2005年第7期24-26,共3页; 文摘项目背景南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江苏省高技术研究计划(BG2004004)、国家高科技项目八六三(2004AA775053)、江苏省计算机信息处理技术重点实验室基金(kjs03061和kjs04)资助.该文对当前密码协议的主要形式化分析方法进行了总结和概述,依据其不足或缺陷提出了一些改进的思路,并探讨了密码协议形式化分析方法今后的发展趋势.; 关键词形式化分析方法密码协议计算机信息处理技术国家自然科学基金 2001年重点实验室江苏省计算机系研究课题研究计划科技项目发展趋势; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于递归认证测试的SIP协议形式化分析: 4; 作者姚萌萌王宇洪瑜平; 机构江南计算技术研究所; 出处《信息网络安全》 CSCD 北大核心 2024年第10期1586-1594,共9页; 基金国家重点研发计划[2022YFB4502000]。; 文摘文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。; 关键词 SIP协议递归认证测试串空间形式化分析方法; Keywords SIP protocol recursive authentication test strand space formal analysis methods; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4: 5; 作者吴名欢程小辉; 机构桂林理工大学信息科学与工程学院; 出处《桂林理工大学学报》 CAS 北大核心 2014年第2期338-344,共7页; 基金国家自然科学基金项目(61262075) 广西高等学校重大科研项目(20120120012); 文摘通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。; 关键词 CASPER FDR 协议形式化分析方法串空间; Keywords Casper/FDR protocol formal analysis strand space; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种颜色Petri网的电子商务协议分析方法被引量：1: 6; 作者王宝文卢贝司亚利刘文远; 机构燕山大学信息科学与工程学院燕山大学里仁学院; 出处《小型微型计算机系统》 CSCD 北大核心 2013年第11期2594-2598,共5页; 基金河北省重大技术创新项目(09213562Z)资助河北省自然科学基金青年科学(G2011203195)资助; 文摘针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.; 关键词形式化分析方法电子商务协议颜色PETRI网 CPN TOOLS KZG协议; Keywords formal analysis E-commerce protocols colored Petfi nets CPN tools KZG protocol; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名统一的安全属性形式化描述方法的研究: 7; 作者谢鸿波吴远成周明天; 机构电子科技大学计算机科学与工程学院重庆通信学院三系数据链教研室; 出处《计算机科学》 CSCD 北大核心 2008年第9期172-174,186,共4页; 基金国家863项目863-104-03-01课题资助; 文摘安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性。用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达。通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法。; 关键词协议分析形式化分析方法安全属性; Keywords Protocol analysis, Security properties, Formal analysis; 分类号 TP311.134 [自动化与计算机技术—计算机软件与理论] TP316.89 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名协议主体密钥在测试组件构造上的性质分析被引量：6: 8; 作者余磊魏仕民; 机构淮北师范大学计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 2013年第6期114-117,共4页; 基金安徽高校省级自然科学研究项目(No.KJ2012B158); 文摘针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模型给出协议主体密钥在测试组件构造上的性质命题,同时运用认证测试基础理论对命题进行正确性证明,从而确定测试组件构造的形式化规则。; 关键词安全协议形式化分析方法串空间模型认证测试消息组件测试组件; Keywords security protocol formal analysis method strand space model authentication test message component authentica- tion test component; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	安全协议的形式化分析方法研究	陈平刘东喜白英彩	《计算机应用与软件》 CSCD 北大核心	2003	3	在线阅读下载PDF 职称材料
2	一种改进的基于认证测试的形式化分析方法	姚萌萌朱正超刘明达	《信息网络安全》 CSCD 北大核心	2019	1	在线阅读下载PDF 职称材料
3	密码协议形式化分析方法研究	王汝传	《信息网络安全》	2005	5	在线阅读下载PDF 职称材料
4	基于递归认证测试的SIP协议形式化分析	姚萌萌王宇洪瑜平	《信息网络安全》 CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
5	Casper/FDR和串空间在物联网通信协议中的形式化分析	吴名欢程小辉	《桂林理工大学学报》 CAS 北大核心	2014	4	在线阅读下载PDF 职称材料
6	一种颜色Petri网的电子商务协议分析方法	王宝文卢贝司亚利刘文远	《小型微型计算机系统》 CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
7	统一的安全属性形式化描述方法的研究	谢鸿波吴远成周明天	《计算机科学》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
8	协议主体密钥在测试组件构造上的性质分析	余磊魏仕民	《计算机工程与应用》 CSCD	2013	6	在线阅读下载PDF 职称材料