期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
利用构造类别代数的协议安全测试方法
被引量：
4
1
作者
陈伟琳
周颢
赵保华
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2008年第12期1481-1485,共5页
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,...
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.
展开更多
关键词
协议安全测试
构造类别代数
变异分析
在线阅读
下载PDF
职称材料
面向变异分析的协议安全测试方法
被引量：
1
2
作者
章志燮
周颢
赵保华
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009年第12期11-15,共5页
在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安...
在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.
展开更多
关键词
协议安全测试
构造类别代数
变异分析
在线阅读
下载PDF
职称材料
题名
利用构造类别代数的协议安全测试方法
被引量：
4
1
作者
陈伟琳
周颢
赵保华
机构
中国科学技术大学计算机科学与技术系
网络与交换技术国家重点实验室
安徽省计算与通讯软件重点实验室
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2008年第12期1481-1485,共5页
基金
国家自然科学基金资助项目(60602016
60872009)
+3 种基金
国家重点基础研究发展规划资助项目(2003CB314801)
国家高技术研究发展计划资助项目(2007AA01Z428)
华为基金资助项目(YJCB2006062WL
YJCB2007061WL)
文摘
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.
关键词
协议安全测试
构造类别代数
变异分析
Keywords
protocol security testing
constructed type algebra
mutation analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
面向变异分析的协议安全测试方法
被引量：
1
2
作者
章志燮
周颢
赵保华
机构
中国科学技术大学计算机科学与技术系
网络与交换技术国家重点实验室
安徽省计算与通讯软件重点实验室
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009年第12期11-15,共5页
基金
国家自然科学基金资助项目(60872009
60602016)
+5 种基金
国家高技术研究发展计划资助项目(2007AA01Z428
2009AA01Z148)
安徽省自然科学研究计划重大项目(ZD2008005-2
ZD200904
JK2009A013
JK2009A025)
文摘
在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.
关键词
协议安全测试
构造类别代数
变异分析
Keywords
protocol security testing
constructed type algebra
mutation analysis
分类号
TP393.06 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
利用构造类别代数的协议安全测试方法
陈伟琳
周颢
赵保华
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2008
4
在线阅读
下载PDF
职称材料
2
面向变异分析的协议安全测试方法
章志燮
周颢
赵保华
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
