研究人员发现，“WiFi保护访问2(WPA2)”协议的4次握手实现中存在多个安全漏洞，影响几乎所有受保护WiFi网络。分析安全协议实现会用到符号执行，该发现就是符号执行过程中模拟加密基元的结果。比利时...