Formal analysis of authentication in 802.11i

DOI10.1007/S12204-009-0122-3MaRDI QIDQ615212zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

authenticationIEEE 802.11iprotocol analysis

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Vulnerabilities analysis of RTS/CTS mechanism in 802.11 protocols
• Formal analysis of IEEE 802.11i
• scientific article; zbMATH DE number 2030095 (Why is no real title available?)
• A modular security analysis of EAP and IEEE 802.11
• Information Security and Cryptology
• Applied Cryptography and Network Security

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)