关键词: 无线局域网，安全协议，认证协议，形式化技术，协议设计

Abstract: Discussed general steps of a wireless security protocol design, including abstracting of application environment, analyzing weakness of application-specific network, confirming objectives of protocol to be designed, analyzing advantages and disadvantages of the existing similar protocols, designing protocol, proofing protocol security. And in accordance with these steps,a new wireless network authentication protocol was designed as an example. Practice shows that these steps could guide the designing of wireless security protocols better. They could also be used to guide the designing of some small application-layer protocols.

Key words: Wireless I,AN, Security protocol, Authentication protocol, Formal technology, Protocol design