-
题名802.11i认证协议可验安全性形式化分析
被引量：4
- 1
-
-
作者
宋宇波
胡爱群
姚冰心
-
机构
东南大学信息科学与工程学院
-
出处
《中国工程科学》
2010年第1期67-73,共7页
-
基金
国家242信息安全计划(2007A04)
江苏省自然科学基金资助项目(BK2006108)
-
文摘
IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。
-
关键词
802.11i
bellare—rogaway模型
可验安全性
形式化分析
-
Keywords
802.11 i
bellare-rogaway model
provable security
formal analysis
-
分类号
TP393.17
[自动化与计算机技术—计算机应用技术]
-
-
题名基于环上误差学习问题的新型后量子认证密钥交换协议
被引量：3
- 2
-
-
作者
李子臣
谢婷
蔡居良
张筱薇
-
机构
西安电子科技大学通信工程学院
北京印刷学院教务处
北京电子科技学院通信工程系
-
出处
《计算机应用》
CSCD
北大核心
2018年第8期2243-2248,2273,共7页
-
基金
国家自然科学基金资助项目(61370188)~~
-
文摘
针对量子计算机技术的迅速发展使得传统公钥密码体制的安全性面临严重威胁的现实性问题,提出一种新型的基于环上误差学习(RLWE)问题的后量子认证密钥交换协议。协议通过使用Peikert式误差协调机制,双方通过计算可直接得到均匀分布的共享比特值,从而使得通信双方得到相同的会话密钥。使用理想格上的解码基对协议正确性进行了分析,并设置合理参数从而保证协议双方以显著概率得到相同密钥值。该协议在BR(BellareRogaway)模型下可证明安全并达到弱的完美前向安全性。协议安全性归约为格上RLWE困难问题,可抵御量子攻击。与现有基于RLWE问题设计的认证密钥交换协议相比,该协议中参数值模数的大小由亚指数级降低至多项式级,相应计算量和通信量显著减小,是一种更加简洁高效的后量子认证密钥交换协议。
-
关键词
认证密钥交换协议
环上误差学习问题
BR模型
格
后量子
-
Keywords
authenticated key exchange protocol
Ring Learning With Errors （RLWE）
BR （bellare-rogaway） model
lattice
post quantum
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
