Parsing Protocol Standards to Parse Standard Protocols
Parsing Protocol Standards to Parse Standard Protocols
复制标题
解析协议标准 解析标准协议
DOI：
10.1145/3404868.3406671
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
McQuistin S
中科院分区：
文献类型：
--
作者：
McQuistin S
互联网协议标准在采用正式的协议描述语言和方法方面进展缓慢，并且主要仍以英语散文形式编写。这使得很难检查它们的正确性，或者从标准中自动派生实现。这既有技术原因，也有社会原因。一些方法有效地描述了复杂的通信模式，但不能建模协议数据。其他人不必要地绑定到特定的描述格式，或使用不熟悉的概念和术语，并不解决可用性的标准developer.We评估现有的方法来建模和解析协议数据的可行性，并确定缺少的功能需要代表新兴的协议。我们提出了一种类型化协议表示，可以描述：（i）协议数据的格式，包括数据相关格式;（ii）维护解析器状态所需的上下文信息，其中正确的解析可能取决于带外信息或先前的数据包;（iii）多阶段解析所需的转换和帮助函数。我们讨论了采用的社会障碍，并描述了一套原则，以鼓励在互联网标准过程中使用正式语言。我们展示了如何将我们的方法与现有的标准过程，使用QUIC作为一个例子。
Internet protocol standards have been slow to adopt formal protocol description languages and methodologies, and are still largely written as English prose. This makes it hard to check them for correctness, or to automatically derive implementations from standards. Reasons for this are both technical and social. Some methodologies effectively describe complex communication patterns, but cannot model protocol data. Others are unnecessarily tied to particular description formats, or use unfamiliar concepts and terminology, and don't address usability by standards developers.We assess the viability of existing approaches to modelling and parsing protocol data, and identify missing features needed to represent emerging protocols. We present a typed protocol representation that can describe: (i) the format of protocol data, including data-dependent formats; (ii) contextual information needed to maintain parser state, where correct parsing may depend on out-of-band information or prior packets; and (iii) transformations and helper functions needed for multi-stage parsing. We discuss social barriers to adoption, and describe a set of principles to encourage use of formal languages within the Internet standards process. We show how to integrate our approach with the existing standards process, using QUIC as an example.
登录
查看更多内容
DOI：
10.1016/j.comnet.2005.05.029
发表时间：
2006-04
期刊：
Comput. Networks
影响因子：
--
作者：
Fulvio Risso;Mario Baldi
通讯作者：
Fulvio Risso;Mario Baldi
网络堆栈不安全的停机问题
DOI：
--
发表时间：
2011
期刊：
Login: The Usenix Magazine
影响因子：
--
作者：
Len Sassaman;M. Patterson;S. Bratus;Anna Shubina
通讯作者：
Anna Shubina
Nail：解析和生成数据格式的实用工具
DOI：
10.5555/2685048.2685098
发表时间：
2014
期刊：
Proceedings of the 32nd Annual Conference on Computer Security Applications
影响因子：
--
作者：
Julian Bangert;Nickolai Zeldovich
通讯作者：
Nickolai Zeldovich
使用增强的数据包标头图描述协议数据单元
DOI：
--
发表时间：
2000
期刊：
影响因子：
--
作者：
Stephen McQuistin;C. Perkins;Vivian Band
通讯作者：
Vivian Band
数据包类型：网络协议消息的抽象规范
DOI：
--
发表时间：
2000
期刊：
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
影响因子：
--
作者：
P. McCann;S. Chandra
通讯作者：
S. Chandra