Web Platform Threats: Automated Detection of Web Security Issues With WPT.

本文提出了一种自动化检测Web浏览器客户端安全机制缺陷的实用框架。该框架利用Web Platform Tests（WPT）这一跨浏览器测试套件，自动收集浏览器执行轨迹，并将其与Web不变式进行匹配。Web不变式是用一阶逻辑表示的Web机制预

历史摘要 · 未重新核验 · USENIX Security