主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李璜华,李凌,赵宇,殷树娟,王生原,李翔宇.一种可重构包解析器硬件配置描述语言的设计及其编译结构.软件学报,2020,31(8):0
一种可重构包解析器硬件配置描述语言的设计及其编译结构
Design of a Specification Language for Reconfigurable Protocol-independent Packet Parsers and its Compiler Architecture
投稿时间:2019-08-31  修订日期:2019-11-02
DOI:10.13328/j.cnki.jos.005962
中文关键词:  领域专用语言  可重构数据包解析器  形式语义  可信编译  软件定义网络
英文关键词:Domain-specific Languages  Reconfigurable Packet Parsers  Formal Semantics  Trustworthy Compilers  Software-Defined Networking
基金项目:核高基重大专项(2017ZX01030-301-003)
作者单位E-mail
李璜华 清华大学 计算机科学与技术系, 北京 100084  
李凌 清华大学 计算机科学与技术系, 北京 100084  
赵宇 北京信息科技大学 理学院, 北京 100192  
殷树娟 北京信息科技大学 理学院, 北京 100192  
王生原 清华大学 计算机科学与技术系, 北京 100084 wwssyy@mail.tsinghua.edu.cn 
李翔宇 清华大学 微电子与纳电子学系, 北京 100084  
摘要点击次数: 231
全文下载次数: 398
中文摘要:
      本文设计一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现,我们侧重于从高可信性角度进行语言设计,包括形式化定义该语言的类型系统和操作语义,以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解,本文从软硬件协同角度出发,最终明确了P3语言的核心特性及其编译器P3C的可信编译结构.由于可重构数据包解析器是软件定义网络(SDN)、可编程数据平面的重要一环,因此实现P3C的可信编译结构将对SDN的安全性有着重大意义.期待P3C项目的开展,能促进网络与形式化领域相关工作的进一步研究.
英文摘要:
      This paper designs a domain-specific language P3 for reconfigurable Protocol-independent Packet Parsers. Due to the requirement to facilitate the implementation of a high-security network, we design the language from the perspective of high trustworthiness, including the formal definition of type system and operational semantics of the language and its trusted compiler architecture. Based on the full understanding of the basic requirements of the reconfigurable hardware, from the view of hardware-software codesign, we finally defined the core characteristics of P3 language and its trusted compiler architecture named P3C. As the reconfigurable packet parser is an important part of SDN and programmable data plane, implementing the trusted compiler architecture of P3C will be of great significance to the security of SDN. It is expected that the development of P3C project will promote the further research in the field of network and formal method.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利