A Language-Theoretic View on Network Protocols
نویسندگان
چکیده
Parsers are a fundamental building block in the data processing pipeline of software systems. Unfortunately, they are also an important entry point for attacks. A number of different techniques have been proposed to address this problem; what is common to most of them is that their authors make claims about formal language theory to motivate their respective approaches. Surprisingly, for a number of idioms that are common in network protocols, we found that the claims made are vague or even contradictory, which we attribute to the fact that they lack any kind of formalization or proof. In this paper, we address this problem by performing the first rigorous, language-theoretic analysis of several common protocol idioms, laying a formal foundation for further research on the parsing problem. We then demonstrate the practical value of our findings by automatically generating a modular, robust, and efficient input validator for HTTP from a set of context-free grammars.
منابع مشابه
The Effect of Grammar vs. Vocabulary Pre-teaching on EFL Learners’ Reading Comprehension: A Schema-Theoretic View of Reading
This study was designed to investigate the effect of grammar and vocabulary pre-teaching, as two types of pre-reading activities, on the Iranian EFL learners’ reading comprehension from a schema–theoretic perspective. The sample consisted of 90 female students studying at pre-university centers of Isfahan. The subjects were randomly divided into three equal-in-number groups. They participated ...
متن کاملA Critical Review of the Routing Protocols for Cognitive Radio Networks and a Proposal for Load Balancing Local Spectrum Knowledge- Based Routing
We present a critical review and analysis of different categories of routing protocols for cognitive radio networks. We first classify the available solutions to two broad categories: those based on full spectrum knowledge (typically used to establish performance benchmarks) and those based on local spectrum knowledge (used for real-time implementation). The full spectrum knowledge based routin...
متن کاملEquilibria for Broadcast Range Assignment Games in Ad-Hoc Networks
Ad-hoc networks are an emerging networking technology, in which the nodes form a network with no fixed infrastructure: each node forwards messages to the others by using the wireless links induced by their power levels. Generally, energy-efficient protocols heavily rely on cooperation. In this paper, we analyze from a game-theoretic point of view the problem of performing a broadcast operation ...
متن کاملControl Problems in Antiangiogenic Therapy – Comparison of Six Models
Six models of antiangiogenic therapy are compared and analyzed from control theoretic point of view. All of them consist of a model of tumor growth bounded by the capacity of a vascular network developed by the tumor in the process of angiogenesis and different model of dynamics of this network and they are based on the idea proposed by Hahnfeldt et al. Moreover we analyse optimal control probl...
متن کامل