一种协议抗拒绝服务的形式化分析方法研究

金大鹏; 林宏刚

首页> 中文期刊> 《成都信息工程大学报》 >一种协议抗拒绝服务的形式化分析方法研究

一种协议抗拒绝服务的形式化分析方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对安全协议中存在的拒绝服务(DoS)攻击,在串空间模型基础上,引入代价函数和节点相关度集合,使串空间模型能够全面、有效地分析安全协议是否存在拒绝服务攻击。利用该模型对IEEE802.11i握手协议以及JFK(just fast keying)协议进行建模,从服务中止型和资源消耗型2个方面分析协议,发现了协议存在的DoS攻击漏洞,验证模型的可行性。

著录项

来源
《成都信息工程大学报》 |2015年第5期|465-469|共5页
作者
金大鹏; 林宏刚;
展开▼
作者单位

成都信息工程大学信息安全工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类算法理论;
关键词
信息安全; 协议; Do; S攻击; 扩展串空间; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 安全协议抗DoS攻击的形式化分析研究 [J] . 高强 ,林星辰 ,林宏刚 . 四川大学学报（自然科学版） . 2018,第006期
2. 安全协议的形式化分析技术方法研究 [J] . 付浩 . 电脑知识与技术 . 2017,第012期
3. 移动代理完整性协议形式化分析方法研究 [J] . 李鹏飞 ,马恒太 ,侯玉文 . 电子学报 . 2009,第008期
4. 大型复杂协议的形式化分析方法研究 [J] . 赵娟 ,韩继红 ,王亚弟 . 计算机工程与设计 . 2009,第018期
5. 安全协议DoS攻击的形式化分析方法研究 [J] . 周世健 ,蒋睿 ,杨晓辉 . 中国电子科学研究院学报 . 2008,第006期
6. 一种新的复合型电子支付协议及其形式化分析 [C] . DING Yue ,丁月 ,WANG Xue-ming . 2017年贵州省计算机学会年会 . 2017
7. 电子商务安全协议的一种形式化分析方法 [A] . 王亮 . 2010

一种协议抗拒绝服务的形式化分析方法研究

摘要

著录项

相似文献

相关主题

期刊订阅