A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. s. 149-158.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
APA
Vancouver
Author
Bibtex
}
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