协议抗拒绝服务攻击性自动化证明

孟博; 黄伟; 王德军; 邵飞

doi:1000-436X(2012)03-0112-10

您当前的位置：

首页 >

文章列表页 >

协议抗拒绝服务攻击性自动化证明

学术论文 | 更新时间：2024-06-05

- 协议抗拒绝服务攻击性自动化证明
- Automatic proof of resistance of denial of service attacks in protocols
- “在网络安全领域，专家扩展了应用PI演算，建立了协议抗拒绝服务攻击性自动化证明方法，并验证了JFK协议与IEEE 802.11四步握手协议的安全性。”
- 通信学报 2012年33卷第3期页码：112-121
- 作者机构：
  
  中南民族大学计算机科学学院，湖北武汉 430074
- 作者简介：
  
  [ "孟博（1974-），男，河北行唐人，中南民族大学副教授、硕士生导师，主要研究方向为安全体系结构与协议、软件验证。" ]
  [ "黄伟（1983-），男，湖北咸宁人，硕士，中南民族大学助教，主要研究方向为安全体系结构与协议、软件验证。" ]
  [ "王德军（1974-），男，湖北钟祥人，博士，中南民族大学讲师，主要研究方向为安全体系结构与协议、网络安全、容灾备份和分布式系统。" ]
  [ "邵飞（1986-），男，山东济宁人，中南民族大学博士生，主要研究方向为安全体系结构与协议、软件工程。" ]
- 基金信息：
  
  国家民委基金资助项目(10ZN09);国家自然科学基金资助项目(60603008);中南民族大学自然科学基金资助项目(YZZ09008);武汉市科技型中小企业技术创新基金资助项目(SZY11008)
- DOI：1000-436X(2012)03-0112-10
  中图分类号： TP309
- 网络出版日期：2012-03，
  
  纸质出版日期：2012-03-25
- 稿件说明：
移动端阅览
孟博, 黄伟, 王德军, 等. 协议抗拒绝服务攻击性自动化证明[J]. 通信学报, 2012,33(3):112-121.

Bo MENG, Wei HUANG, De-jun WAND, et al. Automatic proof of resistance of denial of service attacks in protocols[J]. Journal on communications, 2012, 33(3): 112-121.
孟博, 黄伟, 王德军, 等. 协议抗拒绝服务攻击性自动化证明[J]. 通信学报, 2012,33(3):112-121. DOI： 1000-436X(2012)03-0112-10.

Bo MENG, Wei HUANG, De-jun WAND, et al. Automatic proof of resistance of denial of service attacks in protocols[J]. Journal on communications, 2012, 33(3): 112-121. DOI： 1000-436X(2012)03-0112-10.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据

协议抗拒绝服务攻击性自动化证明

Automatic proof of resistance of denial of service attacks in protocols

DOI：1000-436X(2012)03-0112-10