中国工程科学2010，Vol.12Issue(1)：67-73,7.
802.11i认证协议可验安全性形式化分析
The provable security formal analysis of 802.11i authentication scheme
摘要
关键词
802.11i/Bellare-Rlogaway模型/可验安全性/形式化分析Key words
802.11i/Bellare-Rogaway model/provable security/formal analysis分类
信息技术与安全科学引用本文复制引用
宋宇波,胡爱群,姚冰心..802.11i认证协议可验安全性形式化分析[J].中国工程科学,2010,12(1):67-73,7.基金项目
国家242信息安全计划(2007A04) （2007A04）
江苏省自然科学基金资助项目(BK2006108) （BK2006108）
