形式语言与自动机学术速递[1.10]
Update！H5支持摘要折叠，体验更佳！点击阅读原文访问arxivdaily.com，涵盖CS|物理|数学|经济|统计|金融|生物|电气领域，更有搜索、收藏等功能！
cs.FL形式语言与自动机，共计1篇
【1】 Prognosis: Closed-Box Analysis of Network Protocol Implementations
标题：预测：网络协议实施的封闭分析
链接：https://arxiv.org/abs/2201.02577
备注：None
摘要：We present Prognosis, a framework offering automated closed-box learning and
analysis of models of network protocol implementations. Prognosis can learn
models that vary in abstraction level from simple deterministic automata to
models containing data operations, such as register updates, and can be used to
unlock a variety of analysis techniques -- model checking temporal properties,
computing differences between models of two implementations of the same
protocol, or improving testing via model-based test generation. Prognosis is
modular and easily adaptable to different protocols (e.g., TCP and QUIC) and
their implementations. We use Prognosis to learn models of (parts of) three
QUIC implementations -- Quiche (Cloudflare), Google QUIC, and Facebook mvfst --
and use these models to analyze the differences between the various
implementations. Our analysis provides insights into different design choices
and uncovers potential bugs. Concretely, we have found critical bugs in
multiple QUIC implementations, which have been acknowledged by the developers.
机器翻译，仅供参考
点击“阅读原文”获取带摘要的学术速递