首页> 中文期刊> 《电脑编程技巧与维护》 >基于Canetti-Krawczyk模型的IEEE 802,11i四步握手协议分析

基于Canetti-Krawczyk模型的IEEE 802,11i四步握手协议分析

AI论文写作 >>

开具论文收录证明 >>

页面导航

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

摘要

对Canetti-Krawczyk模型进行深入研究,抽象并形式化IEEE 802,11i协议的四步握手协议.依据Caneui-Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论.提出对于UC下的安全性和协议可用性将是下一步研究目标.

著录项

来源
《电脑编程技巧与维护》 |2009年第20期|23-25|共3页
作者
张哲; 王东杨; 李跃廷;
展开▼
作者单位

装甲兵工程学院计算中心,北京,100072;

装甲兵工程学院信息工程系,北京,100072;

装甲兵工程学院训练部,北京,100072;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
Canetti-Krawczyk模型; IEEE; 802; 11i协议; 形式化分析;

相似文献

中文文献
外文文献
专利

1. An Open Access 4×4 MIMO Testbed and its Validation with an IEEE 802,11n WLAN System [J] . SUN Jian LI Fudong ZHANG Haixia JIANG Mingyan YUAN Dongfeng . 中国通信：英文版 . 2014,第A01期
2. 基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析 [J] . 潘嘉昕 ,王立斌 . 计算机研究与发展 . 2011,第008期
3. 基于业务区分的IEEE802.15.4MAC协议分析及改进 [J] . 乔冠华 ,毛剑琳 ,郭宁 . 计算机科学 . 2014,第010期
4. 基于认知无线电的IEEE802．22协议分析 [J] . 王桂良 ,路友荣 ,韩猛 . 电信技术研究 . 2012,第005期
5. 在实验中利用ethereal网络协议分析工具体现TCP协议三次握手的实现 [J] . 谢芳清 . 福建电脑 . 2010,第002期
6. 基于扩展串空间模型对802.11i四步握手协议的分析 [C] . 周世健 ,蒋睿 ,杨晓辉 . 第六届中国信息和通信安全学术会议（CCICS'2009） . 2009
7. 基于IEEE802.16的MAC层协议分析及QoS技术研究 [A] . 胡军 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号