Formal analysis of authentication in 802.11i

DOI10.1007/S12204-009-0122-3zbMATH Open1214.94063OpenAlexW1976380234MaRDI QIDQ615212FDOQ615212

Authors: Ling Dong, Xuejia Lai, Kefei Chen 

Publication date: 5 January 2011

Published in: Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s12204-009-0122-3

Recommendations

• Formal analysis of IEEE 802.11i
• A modular security analysis of EAP and IEEE 802.11
• scientific article; zbMATH DE number 2143936
• scientific article; zbMATH DE number 2112369
• scientific article; zbMATH DE number 2030095

zbMATH Keywords

authenticationprotocol analysisIEEE 802.11i

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Cites Work

• Title not available (Why is that?)

Cited In (5)

• Formal analysis of IEEE 802.11i
• Title not available (Why is that?)
• Vulnerabilities analysis of RTS/CTS mechanism in 802.11 protocols
• Applied Cryptography and Network Security
• Information Security and Cryptology

This page was built for publication: Formal analysis of authentication in 802.11i

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q615212)