QUIC 的状态机推断
网络与互联网体系结构
2019-03-12 v1
摘要
QUIC 是一种近期的传输协议，在因特网中于 UDP 之上提供可靠、安全且快速的服务。由于 QUIC 实现于应用空间而非操作系统内核中，其动态开发与部署更为高效。目前存在两份并行规范，分别由 Google 和 IETF 制定，并有若干实现。在本文中，我们展示如何应用状态机推断从实现中自动抽取对应于该协议的的状态机。具体而言，我们推断了 Google 的 QUIC 服务器的模型。这是使用黑盒技术完成的，使其可用于该协议的任何实现，而不论代码所用的编程语言或 QUIC 服务器运行的系统如何。这使其成为用于测试与规范目的以及使各种（未来）实现更易比较的有用工具。
引用
@article{arxiv.1903.04384,
title = {State machine inference of QUIC},
author = {Abdullah Rasool and Greg Alpár and Joeri de Ruiter},
journal= {arXiv preprint arXiv:1903.04384},
year = {2019}
}
备注
13 pages, 4 figures