Security analysis of the Chinese wireless LAN standard implementation plan

Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University

Volumn 32, Issue 4, 2005, Pages

  Zhang, Fan ^a   Ma, Jian Feng ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

AUTLOG logic; Security analysis; WAPI; WLAN

Indexed keywords

CRYPTOGRAPHY; IDENTIFICATION (CONTROL SYSTEMS); LOCAL AREA NETWORKS; NETWORK PROTOCOLS; THEOREM PROVING;

AUTLOG LOGIC; SECURITY ANALYSIS; SECURITY ATTRIBUTES; SECURITY ISSUES; STANDARD IMPLEMENTATION PLAN; WIRELESS AUTHENTICATION PRIVACY INFRASTRUCTURE (WAPI); WIRELESS LOCAL AREA NETWORKS (WLAN);

SECURITY OF DATA;

EID: 24044441295     PISSN: 10012400     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Burrows M, Abadi M, Needham R. A Logic for Authentication[A]. Proceedings of the Royal Society of London[C]. London: The Royal Society Publications, 1989. 233-271.
2. Volker K, Heike N. A Sound Logic for Analysing Electronic Commerce Protocols[A]. Computer Security-ESORICS 98: 1485[C]. Berlin: Springer, 1998. 345-360.
3. Heike N, Volker K. Formale Analyse von Kryptographischen Protokollen Mit BAN-Logik[J]. Datenschutz und Datensicherheit, 1999, 23(2): 90-93.
4. Gabriele W, Volker K. Formal Semantics for Authentication Logics[A]. Computer Security-ESORIC 96: 1146[C]. Berlin: Springer-Verlag, 1996. 215-241.
5. Zhang Fan, Ma Jianfeng. On the Security and Performance of WAPI[J]. Journal of Xidian University, 2005, 32(2): 210-215.
6. Stefanos G, Diomidis S, Paagiotis G. Security Protocols Over Open Networks and Distributed Systems: Formal Methods for Their Analysis, Design, and Verification[J]. Computer Communications, 1999, 22(8): 695-707.
7. Menezes A, Oorschot P van, Vanstone S. Handbook of Applied Cryptography[M]. USA: CRC Press LLC, 1996.