［1］IEEE.Part 11:Wireless LAN Medium Access Control(MAC) and Physical Layer(PHY) Specifications［S］.IEEE Standard 80211,1999.

［2］IEEE.Part 11:Wireless Medium Access Control(MAC) and Physical Layer Specifications:Amendment 8:Fast BSS Transition［S］.IEEE Standard 80211r /D01.0,2005.

［3］Volker K,Gabriele W.AUTLOG——An Advanced Logic of Authentication［C］.Proceedings of the 7th IEEE Computer Security Foundations Workshop,1994:90-99.

［4］Volker K,Heike N.A Sound Logic for Analysing Electronic Commerce Protocols［C］.Computer Security-ESOR ICS,1998:1485,345-360.

［5］Heike N,Volker K.Formale Analyse Von Cryptographischen Protokollen Mit BAN-Logic［J］.Datenschutz and Datensicherheit,1999,23(2):90-93.

［6］Gabriele W,Volker K.Formal Semantics for Authentication Logics［C］.Computer Security-ESOR IC96:1146,1996:215-241.