Prognosis：网络协议实现的闭盒分析
网络与互联网体系结构
2022-01-10 v1 形式语言与自动机理论
摘要
我们提出Prognosis，一个提供网络协议实现模型的自动化闭盒学习与分析的框架。Prognosis可学习不同抽象层次的模型，从简单的确定性自动机到包含数据操作（如寄存器更新）的模型，并可用于开启多种分析技术——模型检测时序性质、计算同一协议两个实现的模型间差异，或通过基于模型的测试生成改进测试。Prognosis是模块化且易适配不同协议（如TCP和QUIC）及其实现。我们使用Prognosis学习了三个QUIC实现（Quiche（Cloudflare）、Google QUIC和Facebook mvfst）的（部分）模型，并利用这些模型分析各实现间的差异。我们的分析提供了对不同设计选择的见解并发现了潜在缺陷。具体而言，我们在多个QUIC实现中发现了已被开发者确认的关键缺陷。
引用
@article{arxiv.2201.02577,
title = {Prognosis: Closed-Box Analysis of Network Protocol Implementations},
author = {Tiago Ferreira and Harrison Brewton and Loris D'Antoni and Alexandra Silva},
journal= {arXiv preprint arXiv:2201.02577},
year = {2022}
}
备注
ACM SIGCOMM 2021 Conference (SIGCOMM '21), August 23--27, 2021, Virtual Event, USA