基于连续ARQ协议的隐蔽洪水攻击

• 作者: 唐郑熠 赵梦龙
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 连续ARQ协议 洪水攻击 模型检测 SPIN Promela
• 年，卷（期）: 2012,（10）
• 页码范围: 177-180
• 分类号: TP393.04
• 字数: 3348字
• 语种: 中文

摘要

通信协议设计时的疏漏很容易造成严重的后果,因此有必要采用形式化的方法来保证协议的安全性和可靠性.模型检测是一种具有工业应用前景的形式化分析方法,并具有很高的自动化程度,适合于协议的分析与验证.文中采用模型检测工具SPIN对连续ARQ协议建模,通过验证该协议的基本属性证明所建模型的正确性.然后依据Dolev和Yao的思想加入攻击者模型再进行分析,发现了连续ARQ协议的一个新漏洞,攻击者能够利用这个漏洞造成大量冗余数据的传输和存储.这种攻击建立在互信的数据传输基础上,且攻击者并不直接发送冗余数据,因此具有很高的隐蔽性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐郑熠	贵州大学计算机科学与信息学院	12	63	4.0	7.0
2	赵梦龙		3	1	1.0	1.0