NetCore公司

网络编程语言的编译程序和运行时系统。软件定义网络(sdn)是一种新型的网络结构,在这种结构中,控制器通过指示交换机安装或卸载数据包转发规则并报告流量统计信息来管理交换机的分布式集合。最近成立的开放网络联盟(OpenNetworking Consortium),其成员包括谷歌(Google)、脸谱网(Facebook)、微软(Microsoft)、威瑞森(Verizon)等,希望利用这种架构来改变企业和数据中心网络的实现方式,用于在sdn上表示包转发策略。NetCore具有表达性、组合性和形式语义。为了确保大多数数据包在交换机上(而不是在控制器上)得到有效处理,我们为NetCore提供了新的编译算法,并将其与一个新的运行时系统耦合,该系统向交换机发出规则安装命令和流量统计查询。编译器和运行时系统一起在可能的情况下生成有效的规则,并优于目前常用于编写sdn的简单手动技术。此外,我们开发的算法是通用的,假设交换机上可用的数据包匹配能力满足一些基本的代数定律。{par}总体而言,本文提供了一种高级网络编程语言的新设计;一组改进的编译算法;一个新的SDN架构运行时系统;第一个在这个领域中的形式语义和正确性证明;以及一个实现和评估,证明了相对于传统手工技术的性能优势。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考,1标准件)

显示结果1到3,共3个。
按年份排序(引用)

  1. Diekmann,Cornelius;Hupel,Lars;Michaelis,Julius;Haslbeck,Maximilian;Carle,Georg:验证的iptables防火墙分析和验证(2018)
  2. Stewart,Gordon:Coq中网络程序的计算验证(2013)
  3. Christopher Monsanto;Nate Foster;Harrison,Rob;Walker,David:网络编程语言的编译器和运行时系统(2012)ioport公司