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

高强林星辰林宏刚金大鹏

四川大学学报（自然科学版）2018，Vol.55Issue(6)：1211-1218,8.

四川大学学报（自然科学版）2018，Vol.55Issue(6)：1211-1218,8.DOI:10.3969/j.issn.0490-6756.2018.05.013

A formal analysis for security protocol against DoS attacks

高强 ¹林星辰 ¹林宏刚 ²金大鹏²

作者信息

安全协议/拒绝服务攻击/扩展串空间模型

信息技术与安全科学

高强,林星辰,林宏刚,金大鹏..安全协议抗DoS攻击的形式化分析研究[J].四川大学学报（自然科学版）,2018,55(6):1211-1218,8.

四川省科技厅重点研发项目(2017GZ0319) （2017GZ0319）

OA北大核心CSCDCSTPCD

ISSN：0490-6756

访问量1

下载量0

段落导航