摘要
补充材料
Mininet:用于软件定义网络的快速原型设计。 http://yuba.stanford.edu/foswiki/bin/view/OpenFlow/Mininet。 谷歌学者 OpenFlow交换机规范。 http://www.openflow.org/documents/openflow-spec-v1.1.0.pdf。 谷歌学者 Rocketfuel:ISP拓扑映射引擎。 http://www.cs.washington.edu/research/networking/rocketfuel/。 谷歌学者 俄勒冈州大学路线视图项目。 http://www.routeviews.org/。 谷歌学者 Al-Shaer,E.和Al-Haj,S.FlowChecker:联合OpenFlow基础设施的配置分析和验证。 在SafeConfig(2010)中。 谷歌学者 数字图书馆 Al-Shaer,E.、Marrero,W.、El-Atawy,A.和ElBadawi,K.《盒子中的网络配置:实现网络可达性和安全性的端到端验证》。 在ICNP(2009)中。 谷歌学者 Canini,M.、Venzano,D.、Peresini,P.、Kostic,D.和Rexford,J.测试OpenFlow应用程序的NICE方法。 在NSDI(2012)中。 谷歌学者 数字图书馆 Feamster,N.和Balakrishnan,H.通过静态分析检测BGP配置故障。 在NSDI(2005)中。 谷歌学者 数字图书馆 Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.和Walker,D.Frenetic:一种网络编程语言。 在ICFP(2011)中。 谷歌学者 数字图书馆 Gude,N.、Koponen,T.、Pettit,J.、Pfaff,B.、Casado,M.、McKeown,N.和Shenker,S.NOX:面向网络操作系统。 在SIGCOMM CCR(2008)中。 谷歌学者 数字图书馆 Kazemian,P.、Varghese,G.和McKeown,N.标题空间分析:网络的静态检查。 在NSDI(2012)中。 谷歌学者 数字图书馆 Mai,H.、Khurshid,A.、Agarwal,R.、Caesar,M.、Godfrey,P.B.和King,S.T.使用Anteater调试数据平面。 在SIGCOMM(2011)中。 谷歌学者 数字图书馆 McKeown,N.、Anderson,T.、Balakrishnan,H.、Parulkar,G.、Peterson,L.、Rexford,J.和Shenker,S.OpenFlow:在校园网络中实现创新。 在SIGCOMM CCR(2008)中。 谷歌学者 数字图书馆 Reitblatt,M.、Foster,N.、Rexford,J.和Walker,D.软件定义网络的一致更新:你可以相信的改变! 在HotNets(2011)中。 谷歌学者 数字图书馆 Sherwood,R.、Gibb,G.、Yap,K.-K.、Appenzeller,G.,Casado,M.、McKeown,N.和Parulkar,G..生产网络可以作为测试平台吗? OSDI(2010)。 谷歌学者 数字图书馆 Tavakoli,A.、Casado,M.、Koponen,T.和Shenker,S.将NOX应用于数据中心。 在HotNets(2009)中。 谷歌学者 Varghese,G.《网络算法:设计快速网络设备的跨学科方法》,2004年。 谷歌学者 数字图书馆 Yuan,L.、Mai,J.、Su,Z.、Chen,H.、Chuah,C.-N.和Mohapatra,P.FIREMAN:防火墙建模和分析工具包。 IEEE SnP(2006)。 谷歌学者 数字图书馆
建议
Veriflow:实时验证网络范围的不变量 SIGCOMM’12十月特刊 网络很复杂,容易出现错误。 检查配置文件和数据平面状态的现有工具以秒到小时的时间段离线运行,无法检测或防止出现错误。 有可能吗 检查网络范围。。。 VeriFlow:实时验证网络范围的不变量 nsdi'13:第十届USENIX网络系统设计与实现会议记录 网络很复杂,容易出现错误。 检查网络配置文件和数据平面状态的现有工具以秒到小时的时间段离线运行,无法检测或防止出现错误。 可以检查网络吗。。。 可验证SDN的语言支持 2016年SPLASH指南:2016年ACM SIGPLAN系统、编程、语言和应用国际会议指南:人性化软件 软件定义网络(SDN)的编程语言在OpenFlow等基于硬件的API之上提供了更高的抽象。 研究人员开始开发基于数学基础的SDN编程语言,这使得这些语言。。。