缪力 吴越 曹秀英 唐志航 张大方 肖建华 金秀 王盟 鲜明 燕爱华 张细政 胡爱群 肖顺平 黄敏 毕光国

模型检测 无线网络安全 加密 协议漏洞 无线局域网 协议分析 认证 8021x 新IV分配机制 密钥周期更新 MAXplusⅡ 8021x协议 WLAN攻击 VHDL 状态搜索 逻辑验证 临时密钥完整性协议TKIP IP安全（IPSec） RC4加密算法 WPA协议 无线局域网（WLAN）安全 密钥 RC4算法 WLAN安全性能