A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. / Burgy, Laurent; Reveillere, Laurent; Lawall, Julia Laetitia; Muller, Gilles.

26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007). IEEE Signal Processing Society, 2007. p. 149-158.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Burgy, L, Reveillere, L, Lawall, JL & Muller, G 2007, A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. in 26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007). IEEE Signal Processing Society, pp. 149-158, IEEE International Symposium on Reliable Distributed Systems, Beijing, China, 10/10/2007.

APA

Burgy, L., Reveillere, L., Lawall, J. L., & Muller, G. (2007). A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In 26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007) (pp. 149-158). IEEE Signal Processing Society.

Vancouver

Burgy L, Reveillere L, Lawall JL, Muller G. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. In 26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007). IEEE Signal Processing Society. 2007. p. 149-158

Author

Burgy, Laurent ; Reveillere, Laurent ; Lawall, Julia Laetitia ; Muller, Gilles. / A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. 26th IEEE International Symposium on Reliable Distributed Systems: (SRDS 2007). IEEE Signal Processing Society, 2007. pp. 149-158

Bibtex

@inproceedings{1dfbee90821b11dcbee902004c4f4f50,
title = "A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations",
abstract = "The secure and robust functioning of a network relies onthe defect-free implementation of network applications. Asnetwork protocols have become increasingly complex, however,hand-writing network message processing code has becomeincreasingly error-prone.In this paper, we present a domain-specific language,Zebu, for generating robust and efficient message processinglayers. A Zebu specification, based on the notation used inRFCs, describes protocol message formats and related processingconstraints. Zebu-based applications are efficient,since message fragments can be specified to be processedon demand. Zebu-based applications are also robust, asthe Zebu compiler automatically checks specification consistencyand generates parsing stubs that include validationof the message structure. Using a message torture suite inthe context of SIP and RTSP, we show that Zebu-generatedcode is both complete and defect-free.",
keywords = "Faculty of Science, Domain-specific languages, Message processing, Network protocols",
author = "Laurent Burgy and Laurent Reveillere and Lawall, {Julia Laetitia} and Gilles Muller",
year = "2007",
language = "English",
isbn = "9780769529950",
pages = "149--158",
booktitle = "26th IEEE International Symposium on Reliable Distributed Systems",
publisher = "IEEE Signal Processing Society",
note = "null ; Conference date: 10-10-2007 Through 12-10-2007",

}

RIS

TY - GEN

T1 - A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations

AU - Burgy, Laurent

AU - Reveillere, Laurent

AU - Lawall, Julia Laetitia

AU - Muller, Gilles

N1 - Conference code: 26

PY - 2007

Y1 - 2007

N2 - The secure and robust functioning of a network relies onthe defect-free implementation of network applications. Asnetwork protocols have become increasingly complex, however,hand-writing network message processing code has becomeincreasingly error-prone.In this paper, we present a domain-specific language,Zebu, for generating robust and efficient message processinglayers. A Zebu specification, based on the notation used inRFCs, describes protocol message formats and related processingconstraints. Zebu-based applications are efficient,since message fragments can be specified to be processedon demand. Zebu-based applications are also robust, asthe Zebu compiler automatically checks specification consistencyand generates parsing stubs that include validationof the message structure. Using a message torture suite inthe context of SIP and RTSP, we show that Zebu-generatedcode is both complete and defect-free.

AB - The secure and robust functioning of a network relies onthe defect-free implementation of network applications. Asnetwork protocols have become increasingly complex, however,hand-writing network message processing code has becomeincreasingly error-prone.In this paper, we present a domain-specific language,Zebu, for generating robust and efficient message processinglayers. A Zebu specification, based on the notation used inRFCs, describes protocol message formats and related processingconstraints. Zebu-based applications are efficient,since message fragments can be specified to be processedon demand. Zebu-based applications are also robust, asthe Zebu compiler automatically checks specification consistencyand generates parsing stubs that include validationof the message structure. Using a message torture suite inthe context of SIP and RTSP, we show that Zebu-generatedcode is both complete and defect-free.

KW - Faculty of Science

KW - Domain-specific languages

KW - Message processing

KW - Network protocols

M3 - Article in proceedings

SN - 9780769529950

SP - 149

EP - 158

BT - 26th IEEE International Symposium on Reliable Distributed Systems

PB - IEEE Signal Processing Society

Y2 - 10 October 2007 through 12 October 2007

ER -

ID: 1368117