软件学报

作者：李璜华，李凌，赵宇，王生原，李翔宇

单位：李璜华，清华大学 计算机科学与技术系, 北京 10008411,李凌，清华大学 计算机科学与技术系, 北京 10008402,赵宇，北京信息科技大学 理学院, 北京 10019203,王生原，清华大学 计算机科学与技术系, 北京 10008404,李翔宇，清华大学 微电子学研究所, 北京 10008405

关键词：领域专用语言;可重构数据包解析器;形式语义;可信编译;软件定义网络

基金：核高基国家科技重大专项（2017ZX01030-301-003）

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

来源：2020年第8期

《软件学报》期刊编辑部

查看软件学报杂志2020年第8期