一种包解析器硬件配置描述语言及其编译结构

• 作者: 李凌 李璜华 李翔宇 王生原 赵宇
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 面向新兴系统的形式化建模与验证方法专题
• 页码范围: 2283-2308
• 页数: 26页
• 分类号: TP314
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005962

摘要

设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此,实现P3C的可信编译结构将对SDN的安全性具有重大意义.期待P3C项目的开展能够促进网络与形式化领域相关工作的进一步研究.