一种基于语言的方法用于提高网络应用协议实现的鲁棒性
编程语言
2007-05-23 v1
摘要
网络的安全和鲁棒运行依赖于网络应用的无缺陷实现。然而，随着网络协议日益复杂，手写网络消息处理代码变得越来越容易出错。在本文中，我们提出了一种领域特定语言 Zebu，用于描述协议消息格式和相关的处理约束。根据 Zebu 规范，编译器会自动生成供应用程序解析网络消息的存根。Zebu 易于使用，因为它建立在 RFC 中用于描述协议语法的符号之上。Zebu 也很高效，因为其内存使用是根据应用需求定制的，并且可以指定按需处理消息片段。最后，基于 Zebu 的应用是鲁棒的，因为 Zebu 编译器会自动检查规范的一致性，并生成包含消息结构验证的解析存根。通过在 SIP 和 RTSP 环境中进行变异分析，我们表明 Zebu 显著提高了应用的鲁棒性。
引用
@article{arxiv.0704.1373,
title = {A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations},
author = {Burgy Laurent and Laurent Réveillère and Julia Lawall and Gilles Muller},
journal= {arXiv preprint arXiv:0704.1373},
year = {2007}
}