面向安全需求的安全通信协议测试序列生成算法

• 作者: 喻钢 徐中伟 李弋强 谭渊
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 通信协议测试 扩展有限状态机 唯一输入输出序列 安全因子
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 信息安全
• 页码范围: 1828-1831,1848
• 页数: 5页
• 分类号: TP309
• 字数: 6609字
• 语种: 中文

摘要

安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键.面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性.此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	谭渊	同济大学电子与信息工程学院	2	5	2.0	2.0
3	喻钢	同济大学电子与信息工程学院	24	147	7.0	11.0
7	李弋强	同济大学电子与信息工程学院	3	12	2.0	3.0