WPA2协议4次握手实现存在漏洞
WPA2协议4次握手实现存在漏洞
2018-08-16 10:08:07 来源：51CTO
抢沙发
2018-08-16 10:08:07 来源：51CTO
摘要：研究人员发现，“WiFi保护访问2(WPA2)”协议的4次握手实现中存在多个安全漏洞，影响几乎所有受保护WiFi网络。
关键词：
漏洞
研究人员发现，“WiFi保护访问2(WPA2)”协议的4次握手实现中存在多个安全漏洞，影响几乎所有受保护WiFi网络。
分析安全协议实现会用到符号执行，该发现就是符号执行过程中模拟加密基元的结果。比利时鲁汶大学的两位研究人员在日前发布的白皮书中对此进行了阐述。
通过在WPA2四次握手的3种客户端实现上应用符号执行，研究人员发现了身份验证标签校验过程中的边信道时序攻击、拒绝服务攻击、基于堆栈的缓冲区溢出和非平凡(non-trivial)解密谕示。
研究人员称，符号执行就是要通过符号输入而非实际输入，全面彻底地探索程序的所有代码执行路径。在实验中，研究人员基于KLEE符号执行引擎实现了加密基元符号执行技术(他们修改了引擎以处理加密基元)。
3种被测WPA2握手实现中，有2种易遭受平凡(trivial)边信道攻击，因为这两种实现采用不安全时序内存比较来校验身份验证标签。
英特尔iNet无线守护进程会发生拒绝服务，MediaTek的实现则有基于堆栈的缓冲区溢出(处理解密数据的代码段中)。而且，这两种攻击都可以被恶意接入点(AP)触发。AES展开算法在MediaTek的代码中也未得到正确实现。
另外， wpa supplicant(支持WEP、WPA和WPA2(IEEE 802.11i)的跨平台wpa请求者程序)因处理解密但未经验证的数据而有非平凡(non-trivial)解密谕示的风险。该漏洞编号为CVE-2018-14526，可被用于恢复敏感信息。
如果受害者使用旧的TKIP(临时密钥完整性协议)加密算法连接WPA2网络，攻击者便可利用该解密谕示来破解4次握手中消息3里传输的组密钥。
不过，仅在采用WPA2协议，且客户端选择TKIP作为成对密码，以便RC4流密码被用于加密密钥数据字段的情况下，该攻击才可行(如果选择了CCMP(计数器模式密码块链消息完整码协议)，密钥数据字段便是用AES(高级加密标准)加以保护)。当WiFi网络使用WPA2且只支持TKIP时，这两项条件才同时满足(2016年，20%的受保护WiFi网络采用此配置)。
攻击者可利用该漏洞解密WPA2四次握手过程中消息3里传输的组密钥，并用该组密钥注入广播和单播流量。单播和广播流量也可用该密钥加以解密。
通过模拟加密基元和限制部分符号输入以防止产生过多状态，我们在WPA2四次握手的客户端实现上成功应用了符号执行。符号执行结果揭示出处理解密数据的代码中存在内存崩溃隐患，发现了加密基元的不安全实现，甚至暴露出了解密谕示。
第三十五届CIO班招生
国际CIO认证培训
首席数据官（CDO）认证培训
责编：kongwen
免责声明：本网站（http://www.ciotimes.com/）内容主要来自原创、合作媒体供稿和第三方投稿，凡在本网站出现的信息，均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性，但不保证有关资料的准确性及可靠性，读者在使用前请进一步核实，并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏，概不负任何法律责任。
本网站刊载的所有内容（包括但不仅限文字、图片、LOGO、音频、视频、软件、程序等）版权归原作者所有。任何单位或个人认为本网站中的内容可能涉嫌侵犯其知识产权或存在不实内容时，请及时通知本站，予以删除。
