有效的多协议攻击自动化检测系统

• 作者: 刘维博 张笑笑 杨元凉 马文平
• 来源期刊: 重庆大学学报：自然科学版
• 学科: 工学
• 关键词: 全协议 形式化分析 模型检测 重写规则 多协议攻击
• 年，卷（期）: 2012,（2）
• 页码范围: 71-77
• 分类号: TP393.08
• 语种: 中文

摘要

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题，提出了一个多协议攻击自动化检测系统（ADMA）。该系统由协议搜索子系统和攻击确认子系统两部分组成，其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件，自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法，自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明，ADMA系统能够实现多协议攻击自动化检测，并且检测中发现了新的多协议攻击。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马文平	西安电子科技大学教育部计算机网络与信息安全重点实验室	79	449	10.0	17.0
2	刘维博	西安电子科技大学教育部计算机网络与信息安全重点实验室	4	8	2.0	2.0
3	杨元凉	西安电子科技大学教育部计算机网络与信息安全重点实验室	1	3	1.0	1.0
4	张笑笑		2	5	2.0	2.0