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

基于构造类别代数的变异分析被引量：1: 1; 作者周晓煜赵保华屈玉贵《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2155-2157,共3页; 在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤... 展开更多; 关键词构造类别代数变异分析变异算子通信协议一致性测试; 在线阅读下载PDF 职称材料

利用构造类别代数的协议安全测试方法被引量：4: 2; 作者陈伟琳周颢赵保华《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第12期1481-1485,共5页; 针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,... 展开更多; 关键词协议安全测试构造类别代数变异分析; 在线阅读下载PDF 职称材料

使用构造类别代数描述和验证密码协议: 3; 作者刘政赵保华屈玉贵《通信学报》 EI CSCD 北大核心 2004年第3期91-96,共6页; 密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议... 展开更多; 关键词密码协议构造类别代数形式化描述协议验证; 在线阅读下载PDF 职称材料

一种通信协议测试序列生成的新方法被引量：7: 4; 作者孙宇霖屈玉贵赵保华《通信学报》 EI CSCD 北大核心 2001年第6期122-127,共6页; 本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等... 展开更多; 关键词协议测试构造类别代数规范有限状态机通信协议; 在线阅读下载PDF 职称材料

一种描述安全协议的形式化规范语言被引量：2: 5; 作者刘政赵保华屈玉贵《小型微型计算机系统》 CSCD 北大核心 2004年第7期1246-1249,共4页; 安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来... 展开更多; 关键词安全协议构造类别代数形式化描述语言; 在线阅读下载PDF 职称材料

面向变异分析的协议安全测试方法被引量：1: 6; 作者章志燮周颢赵保华《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第12期11-15,共5页; 在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安... 展开更多; 关键词协议安全测试构造类别代数变异分析; 在线阅读下载PDF 职称材料

协议脆弱性分析及其测试研究: 7; 作者石万清张炜《计算机工程与应用》 CSCD 北大核心 2008年第13期106-109,共4页; 网络安全问题已引起人们的广泛关注,通信协议设计和实现的健壮与否对于网络安全至关重要。使用扩展了的构造类别代数描述协议规范,基于该描述,从一致性和完备性角度对协议可能存在的漏洞进行分析;系统地给出了一种针对潜在漏洞进行脆弱... 展开更多; 关键词构造类别代数脆弱性测试分布式测试平台; 在线阅读下载PDF 职称材料

题名基于构造类别代数的变异分析被引量：1: 1; 作者周晓煜赵保华屈玉贵; 机构中国科学技术大学计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2155-2157,共3页; 基金自然科学基金重大研究计划项目(No.90104010 No.60241004) +4 种基金国家863计划项目(No.2001AA112062 No.2001AA121016) 中国科学院院长基金特别支持项目(院基计字905号); 文摘在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.; 关键词构造类别代数变异分析变异算子通信协议一致性测试; Keywords constructed type algebra specification mutation analysis mutant operator; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名利用构造类别代数的协议安全测试方法被引量：4: 2; 作者陈伟琳周颢赵保华; 机构中国科学技术大学计算机科学与技术系网络与交换技术国家重点实验室安徽省计算与通讯软件重点实验室; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第12期1481-1485,共5页; 基金国家自然科学基金资助项目(60602016 60872009) +3 种基金华为基金资助项目(YJCB2006062WL YJCB2007061WL); 文摘针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.; 关键词协议安全测试构造类别代数变异分析; Keywords protocol security testing constructed type algebra mutation analysis; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名使用构造类别代数描述和验证密码协议: 3; 作者刘政赵保华屈玉贵; 机构中国科技大学计算机科学与技术系; 出处《通信学报》 EI CSCD 北大核心 2004年第3期91-96,共6页; 基金自然科学基金重大计划资助项目(90104010) 自然科学基金科学部主任基金资助项目(60241004) +3 种基金国家"973"计划项目(2003-7) 中国科学院院长基金特别支持资助项目(院基计字90; 文摘密码协议必须满足安全属性的需求,对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证,或者不利于描述。本文在构造类别代数中引入时序算子,对密码协议以及协议的入侵者进行建模,在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用,说明了这是一种解决密码协议描述和验证的行之有效的方法。; 关键词密码协议构造类别代数形式化描述协议验证; Keywords cryptographic protocol construct categorical algebra formal description protocol verification; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一种通信协议测试序列生成的新方法被引量：7: 4; 作者孙宇霖屈玉贵赵保华; 机构中国科学技术大学计算机系; 出处《通信学报》 EI CSCD 北大核心 2001年第6期122-127,共6页; 基金国家 8 6 3计划基金资助项目 (86 3- 317- 0 4 - 16 - 99 86 3- 30 0 - 0 2 - 0 8- 99) 教育部博士点基金资助项目 (2 0 0 0 0 3580 2; 文摘本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。; 关键词协议测试构造类别代数规范有限状态机通信协议; Keywords protocol test constructed type algebra specification finite state machine; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一种描述安全协议的形式化规范语言被引量：2: 5; 作者刘政赵保华屈玉贵; 机构中国科技大学计算机系; 出处《小型微型计算机系统》 CSCD 北大核心 2004年第7期1246-1249,共4页; 基金国家自然科学基金重大研究计划项目 (90 10 40 10 )资助国家自然科学基金科学部主任基金项目(60 2 410 0 4)资助 +2 种基金中国科学院院长基金特别支持项; 文摘安全协议的设计和分析是复杂而且容易出错的 .使用形式化的语言有利于安全协议的正确性和完整性 .现有的安全协议的描述方法大多很复杂而且容易导致二义 ,从而导致协议隐含着种种的安全隐患 .引入了基于构造类别代数的形式化规范语言来规范安全协议 ,通过规则集合和公理集合对安全协议进行精确地描述 ,有利于协议设计地规范化和协议漏洞地发现 ,同时对 Needham-; 关键词安全协议构造类别代数形式化描述语言; Keywords security protocol construct categorical algebra formal description language; 分类号 TN915.04 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名面向变异分析的协议安全测试方法被引量：1: 6; 作者章志燮周颢赵保华; 机构中国科学技术大学计算机科学与技术系网络与交换技术国家重点实验室安徽省计算与通讯软件重点实验室; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第12期11-15,共5页; 基金国家自然科学基金资助项目(60872009 60602016) +5 种基金 2009AA01Z148) ZD200904 JK2009A013 JK2009A025); 文摘在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.; 关键词协议安全测试构造类别代数变异分析; Keywords protocol security testing constructed type algebra mutation analysis; 分类号 TP393.06 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名协议脆弱性分析及其测试研究: 7; 作者石万清张炜; 机构安徽大学电子科学与技术学院中国科学技术大学计算机系; 出处《计算机工程与应用》 CSCD 北大核心 2008年第13期106-109,共4页; 文摘网络安全问题已引起人们的广泛关注,通信协议设计和实现的健壮与否对于网络安全至关重要。使用扩展了的构造类别代数描述协议规范,基于该描述,从一致性和完备性角度对协议可能存在的漏洞进行分析;系统地给出了一种针对潜在漏洞进行脆弱性测试的测试方法,使用类似于协议测试的方法测试实现系统能否抵御针对该漏洞的攻击。实现了一个分布式的协议脆弱性测试平台KD-TclRunner,对国内外著名厂商的通信设备进行脆弱性测试。; 关键词构造类别代数脆弱性测试分布式测试平台; Keywords constructed type algebra vulnerability testing distributed testing platform; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于构造类别代数的变异分析	周晓煜赵保华屈玉贵	《电子学报》 EI CAS CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
2	利用构造类别代数的协议安全测试方法	陈伟琳周颢赵保华	《西安交通大学学报》 EI CAS CSCD 北大核心	2008	4	在线阅读下载PDF 职称材料
3	使用构造类别代数描述和验证密码协议	刘政赵保华屈玉贵	《通信学报》 EI CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
4	一种通信协议测试序列生成的新方法	孙宇霖屈玉贵赵保华	《通信学报》 EI CSCD 北大核心	2001	7	在线阅读下载PDF 职称材料
5	一种描述安全协议的形式化规范语言	刘政赵保华屈玉贵	《小型微型计算机系统》 CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
6	面向变异分析的协议安全测试方法	章志燮周颢赵保华	《西安交通大学学报》 EI CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	协议脆弱性分析及其测试研究	石万清张炜	《计算机工程与应用》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料