看得越细，学得越多：一种用于协议状态机学习的灰盒方法
密码学与安全
2021-06-08 v2
摘要
本文提出一种从协议实现推断状态机模型的新方法。我们的方法 STATEINSPECTOR 利用新颖的程序分析结合运行时内存与 I/O 的观测来学习协议状态。它无需访问源代码，仅需对被测实现进行轻量级执行监控。我们在众多 TLS 与 WPA/2 实现上演示并评估了 STATEINSPECTOR 的有效性。在此过程中，我们展示 STATEINSPECTOR 相较现有方法实现了更深的状态发现、更高的学习效率以及更具洞察力的事后分析。除改进学习外，我们的方法还使我们发现了若干偏离标准的令人担忧之处，以及一个著名 Wi-Fi 实现中的高影响漏洞。
引用
@article{arxiv.2106.02623,
title = {The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning},
author = {Chris McMahon Stone and Sam L. Thomas and Mathy Vanhoef and James Henderson and Nicolas Bailluet and Tom Chothia},
journal= {arXiv preprint arXiv:2106.02623},
year = {2021}
}