面向变异分析的协议安全测试方法

作     者：章志燮 周颢 赵保华 ZHANG Zhixie;ZHOU Hao;ZHA Baohua

作者机构：中国科学技术大学计算机科学与技术系合肥230027 网络与交换技术国家重点实验室北京100876 安徽省计算与通讯软件重点实验室合肥230027 

基　　金：国家自然科学基金资助项目(60872009 60602016) 国家高技术研究发展计划资助项目(2007AA01Z428 2009AA01Z148) 安徽省自然科学研究计划重大项目(ZD2008005-2 ZD200904 JK2009A013 JK2009A025) 

出 版 物：《西安交通大学学报》 (Journal of Xi'an Jiaotong University)

年 卷 期：2009年第43卷第7期

页      码：11-15页

摘      要：在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.

主 题 词：协议安全测试 构造类别代数 变异分析 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:0253-987X.2009.12.003

馆 藏 号：203533234...