首页> 中文期刊> 《苏州大学学报：自然科学版》 >无线网协议802.11i安全性的一种形式化分析方法

无线网协议802.11i安全性的一种形式化分析方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

首先建立了无线环境中入侵者的能力模型,再应用串空间模型形式化地分析了802.11i的四次握手协议的保密特性.分析结果表明,在提出的模型下,四次握手协议能安全地分配PTK和GTK.

著录项

来源
《苏州大学学报：自然科学版》 |2008年第3期|39-44|共6页
作者
张招亮; 张广泉;
展开▼
作者单位

苏州大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP919.2;
关键词
无线网; 802.11i; 安全性; 串空间; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 802.11i认证协议可验安全性形式化分析 [J] . 宋宇波 ,胡爱群 ,姚冰心 . 中国工程科学 . 2010,第001期
2. 一种增强电子商务协议安全性的形式化分析方法 [J] . 杨捷 ,毋国庆 ,左保河 . 计算机工程与科学 . 2009,第009期
3. 无线网络安全协议的形式化分析方法 [J] . 金磊 . 计算机光盘软件与应用 . 2014,第017期
4. 无线网络安全协议的形式化分析方法 [J] . 曾伟 . 科技创新与应用 . 2012,第034期
5. 无线网络安全协议的形式化分析方法 [J] . 曾伟 . 科技创新与应用 . 2012,第024期
6. 一种增强电子商务协议安全性的形式化分析方法 [C] . 杨捷 ,毋国庆 ,左保河 . 2009年全国理论计算机科学学术年会 . 2009
7. 无线网络安全协议的形式化分析方法 [A] . 张帆 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号