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

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

2007-04-11

arxiv.org/abs/0704.1373v1

Computer Science

Programming Languages

Scientific paper

The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing network message processing code has become increasingly error-prone. In this paper, we present a domain-specific language, Zebu, for describing protocol message formats and related processing constraints. From a Zebu specification, a compiler automatically generates stubs to be used by an application to parse network messages. Zebu is easy to use, as it builds on notations used in RFCs to describe protocol grammars. Zebu is also efficient, as the memory usage is tailored to application needs and message fragments can be specified to be processed on demand. Finally, Zebu-based applications are robust, as the Zebu compiler automatically checks specification consistency and generates parsing stubs that include validation of the message structure. Using a mutation analysis in the context of SIP and RTSP, we show that Zebu significantly improves application robustness.

Affiliated with

Also associated with

No associations

Rating

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-673099