| 安全协议抗DoS攻击的形式化分析研究 |
| 高强;林星辰;林宏刚;金大鹏; |
| 关键词：安全协议;拒绝服务攻击;扩展串空间模型 |
| 主要内容：随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而忽略了存储 |
| 《四川大学学报(自然科学版)》 2018,55(06):1211-1218 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号