Issue No. 04 - July/August (2011 vol. 37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2010.64
Laurent Burgy , Princeton University, Princeton
Laurent Réveillère , University of Bordeaux, LaBRI, Talence
Julia Lawall , DIKU, University of Copenhagen, Paris
Gilles Muller , INRIA-Regal, LIP6, Paris
A network application communicates with other applications according to a set of rules known as a protocol. This communication is managed by the part of the application known as the protocol-handling layer, which enables the manipulation of protocol messages. The protocol-handling layer is a critical component of a network application since it represents the interface between the application and the outside world. It must thus satisfy two constraints: It must be efficient to be able to treat a large number of messages and it must be robust to face various attacks targeting the application itself or the underlying platform. Despite these constraints, the development process of this layer still remains rudimentary and requires a high level of expertise. It includes translating the protocol specification written in a high-level formalism such as ABNF toward low-level code such as C. The gap between these abstraction levels can entail many errors. This paper proposes a new language-based approach to developing protocol-handling layers, to improve their robustness without compromising their performance. Our approach is based on the use of a domain-specific language, Zebu, to specify the protocol-handling layer of network applications that use textual HTTP-like application protocols. The Zebu syntax is very close to that of ABNF, facilitating the adoption of Zebu by domain experts. By annotating the original ABNF specification of a protocol, the Zebu user can dedicate the protocol-handling layer to the needs of a given application. The Zebu compiler first checks the annotated specification for inconsistencies, and then generates a protocol-handling layer according to the annotations. This protocol-handling layer is made up of a set of data structures that represent a message, a parser that fills in these data structures, and various stub functions to access these data structures or drive the parsing of a message.
Network protocols, message parsing, message composing, domain-specific languages.
Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller, "Zebu: A Language-Based Approach for Network Protocol Message Processing", IEEE Transactions on Software Engineering, vol. 37, no. , pp. 575-591, July/August 2011, doi:10.1109/TSE.2010.64