%0 Journal Article
%T 一种可重构包解析器硬件配置描述语言的设计及其编译结构
%A 李凌
%A 李璜华
%A 李翔宇
%A 殷树娟
%A 王生原
%A 赵宇
%J -
%D 2020
%R 10.13328/j.cnki.jos.005962
%X 本文设计一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现，我们侧重于从高可信性角度进行语言设计，包括形式化定义该语言的类型系统和操作语义，以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解，本文从软硬件协同角度出发，最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络（SDN）、可编程数据平面的重要一环，因此实现P3C的可信编译结构将对SDN的安全性有着重大意义.期待P3C项目的开展，能促进网络与形式化领域相关工作的进一步研究
%K 领域专用语言 可重构数据包解析器 形式语义 可信编译 软件定义网络
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=5962&flag=1