Security Verification of 802.11i 4-Way Handshake Protocol

机译：802.11i 4路握手协议的安全验证

获取原文

页面导航

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

摘要

Key management is a significant part of secure wireless communication. In IEEE 802. Hi standard, 4-way handshake protocol is designed to exchange key materials and generate a fresh pairwise key for subsequent data transmissions between the mobile supplica

机译：密钥管理是安全无线通信的重要组成部分。在IEEE 802中.HI标准，4向握手协议旨在Exchange关键材料并为移动提供的后续数据传输生成一个新的成对键

著录项

来源
《International Conference on Communications》|2008年||共6页
会议地点
作者
Jing Liu; Xinming Ye; Jun Zhang; Jun Li;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TN91-53;
关键词
Petri nets; protocols; telecommunication network management; telecommunication security; wireless LAN; 4-way handshake protocol; IEEE 802.11 standard; authenticator; data transmissions; denial-of-service attack; high-level Petri nets; integrated security verificati;

机译：Petri网;电信网络管理;电信安全;无线LAN;四通握手协议;IEEE 802.11标准;认证器;数据传输;拒绝服务攻击;高级Petri网;综合保安verificati;

相似文献

外文文献
中文文献
专利

1. Static and Dynamic 4-Way Handshake Solutions to Avoid Denial of Service Attack in Wi-Fi Protected Access and IEEE 802.11i [J] . Floriano De Rango, Dionigi Cristian Lentini, Salvatore Marano Eurasip Journal on Wireless Communications and Networking . 2006,第1期

机译：静态和动态4向握手解决方案，可避免Wi-Fi保护访问和IEEE 802.11i中的拒绝服务攻击
2. Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things [J] . Lu Yuteng, Sun Meng International journal of software engineering and knowledge engineering . 2018,第11a12期

机译：物联网UPPAAL中IEEE 802.11i安全协议的建模和验证
3. Smart Grid Mesh Network Security Using Dynamic Key Distribution With Merkle Tree 4-Way Handshaking [J] . Smart Grid, IEEE Transactions on . 2014,第2期

机译：使用Merkle树4向握手的动态密钥分配的智能网格网状网络安全
4. Security Verification of 802.11i 4-Way Handshake Protocol [C] . Jing Liu, Xinming Ye, Jun Zhang, International Conference on Communications . 2008

机译：802.11i 4路握手协议的安全验证
5. Developing strand space based models and proving the correctness of the IEEE 802.11i authentication protocol with restricted security objectives [D] . Furqan, Zeeshan. 2007

机译：开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
6. Security Architecture and Protocol for Trust Verifications Regarding the Integrity of Files Stored in Cloud Services [O] . Alexandre Pinheiro, Edna Dias Canedo, Rafael Timoteo de Sousa Junior, 2018

机译：用于存储在云服务中的文件完整性的信任验证的安全体系结构和协议
7. Security and Reliability of the 4-way Handshake Protocol in IEEE 802.11i [O] . Chang-Seop Park, Byung-Duk Woo 2009

机译：IEEE 802.11i中4路握手协议的安全性和可靠性

Security Verification of 802.11i 4-Way Handshake Protocol

摘要

著录项

相似文献

相关主题

期刊订阅