安全协议抗DoS攻击的形式化分析研究

• 作者: 林宏刚 林星辰 金大鹏 高强
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 拒绝服务攻击 扩展串空间模型
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 电子信息科学
• 页码范围: 1211-1218
• 页数: 8页
• 分类号: TP393.08
• 字数: 8221字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2018.05.013

摘要

随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储资源消耗.针对以上不足,本文对基本的串空间模型进行扩展,引入消息相关度集合和代价函数,提出了一种分析安全协议抗DoS性的新方法,并利用该方法,对JFK协议的抗DoS性进行了详细分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林宏刚	成都信息工程大学信息安全工程学院	16	84	4.0	9.0
2	高强		3	9	2.0	3.0
3	林星辰		3	4	2.0	2.0
4	金大鹏	成都信息工程大学信息安全工程学院	2	2	1.0	1.0