利用构造类别代数的协议安全测试方法

陈伟琳 1; 周颢 1; 3; 赵保华 1; 2; 3

您当前的位置：

首页 >

文章列表页 >

利用构造类别代数的协议安全测试方法

更新时间：2025-12-08

- 利用构造类别代数的协议安全测试方法
- Constructed Type Algebra Based Protocol Security Testing Method
- 西安交通大学学报 2008年42卷第12期页码：1481-1485
- 作者机构：
  
  1. 中国科学技术大学计算机科学与技术系,合肥,230027
  2. 网络与交换技术国家重点实验室,北京,100876
  3. 安徽省计算与通讯软件重点实验室,合肥,230027
- 作者简介：
- 基金信息：
  
  : 2008-01-04. 作者简介: 陈伟琳(1982-),女,博士生;赵保华(联系人),男,教授,博士生导师. 基金项目: 国家自然科学基金资助项目(60602016,60872009);国家重点基础研究发展规划资助项目(2003CB314801);国家高技术研究发展计划资助项目(2007AA01Z428);华为基金资助项目(YJCB2006062WL,YJCB2007061WL)
- DOI：
  中图分类号： TP311
- 网络首发：2008-12-10，
  
  纸质出版：2008
- 稿件说明：
移动端阅览
陈伟琳 1, 周颢 1, 3, 等. 利用构造类别代数的协议安全测试方法[J]. 西安交通大学学报, 2008,42(12):1481-1485.

陈伟琳 1, 周颢 1, 3, et al. Constructed Type Algebra Based Protocol Security Testing Method[J]. 2008, 42(12): 1481-1485.
陈伟琳 1, 周颢 1, 3, 等. 利用构造类别代数的协议安全测试方法[J]. 西安交通大学学报, 2008,42(12):1481-1485. DOI：

陈伟琳 1, 周颢 1, 3, et al. Constructed Type Algebra Based Protocol Security Testing Method[J]. 2008, 42(12): 1481-1485. DOI：

摘要

针对协议安全测试中数据流的描述问题

在构造类别代数的基础上引入变异分析

由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子

然后对一致性公式集进行变异分析

从而得到安全变异项集. 将变异项转换为实际的安全测试例集

并描述由此进行的协议安全测试步骤.测试实践表明

所提方法能与一致性测试良好地结合

在一定程度上覆盖已知安全漏洞

并具有发现潜在问题的能力.

Abstract

Considering the data flow description in protocol security testing

mutation analysis is introduced based on constructed type algebra

and a new protocol security testing method is proposed. Mutant operators are designed based on protocol specification

security mutation formulas are generated from existing conformance testing expressions

and then practical security testing cases are transformed from these formulas. The steps of protocol security testing using the method are described. The method is well integrated with conformance testing to cover some known protocol security vulnerabilities

and has the ability to reveal potential problems.

关键词

Keywords

references

CCITT.290-ISO/IEC 9646-1991 Information technology open systems interconnection conformance testing methodology and framework [S].Geneva, Switzerland: CCITT, 1991.

ANDY WANG Ju'an. Security testing in software engineering courses [C]∥ 34th ASEE/IEEE Frontiers in Education Conference. Piscataway, NJ, USA: 2004:13-18.

龚正虎. 计算机网络协议工程 [M]. 长沙,国防科技大学出版社,1993.

HUANG Chung-Ming, LIN Chih-Hao. An EFSM-based formal model for providing VCR-like functions in multimedia systems[C]∥Proceedings of the 12th International Conference on Software Engineering Workshop on Multimedia Software Engineering. Los Alamitos, CA,USA: IEEE Comp. Soc., 1998:12-19.

孙宇霖,屈玉贵,赵保华.一种通信协议测试序列生成的新方法[J].通信学报,2001,22(6): 122-127.

SUN Yulin,QU Yugui,ZHAO Baohua. A new method of generation of communication protocol test sequence[J]. Journal of China Institute of Communications, 2001,22(6): 122-127.

DEMILLO R A, LIPTON R J, SAYWARD F G. Hints on test data selection: help for the practicing programmer [J]. Computer, 1978,11(4): 34-37.

AGRAWAL H, DEMILLO R A. Design of mutant operators for the c programming language, SERC-TR-41-P [R]. West Lafayette, IN, USA: Software Engineering Research Center, Purdue University, 1989.

SPAFFORD E H. Extending mutation testing to find environmental bugs [J]. Software Practice and Experience 1990,20(2): 181-189.

JIANG Ying, HOU Shanshan. Contract-based mutation for testing components [C]∥Proceedings of 21st IEEE International Conference on Software Maintenance. Los Alamitos, CA, USA: IEEE Comp. Soc., 2005: 483-492.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

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

混合电解槽阵列协同的风光耦合制氢系统双层多目标优化

语义区分和子图整合驱动的知识图谱表示学习方法

离子液体改性燃料的电流体动力学效应研究

超临界二氧化碳向心透平轮背间隙内风阻损失及流动特性研究