文件大小：0.55 MB 18页
WNetKAT：一种加权SDN编程与验证语言
作者
-
部分： 体积： 第20届分布式系统原理国际会议（OPODIS 2016）
系列： 莱布尼茨国际信息学论文集
会议： 国际分布式系统原理会议（OPODIS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-04-06
文件
文件标识符
引用为 获取BibTex
摘要
关键词
软件定义的网络 验证 可达性 有状态处理 服务链 加权自动机 可决定性 NetKAT公司
度量标准
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
Carolyn Jane Anderson、Nate Foster、Arjun Guha、Jean-Baptiste Jeannin、Dexter Kozen、Cole Schlesinger和David Walker。 NetKAT：网络的语义基础。 SIGPLAN否。， 2014年1月49（1）日。 网址： http://dx.doi.org/10.1145/2578855.2535862 . -
瑞恩·贝克特、迈克尔·格林伯格和大卫·沃克。 时间NetKAT。 程序中。 第37届ACM SIGPLAN编程语言设计与实现会议（PLDI），第386-401页，2016年。 
-
朱塞佩·比安奇（Giuseppe Bianchi）、马可·博诺拉（Marco Bonola）、安东尼奥·卡彭（Antonio Capone）和卡梅洛·卡斯科内（Carmelo Cascone）。 OpenState：在交换机中编程平台相关的有状态Openflow应用程序。 SIGCOMM计算。 Commun公司。 版本，44（2），2014年4月。
-
Pat Bosshart、Dan Daly、Glen Gibb、Martin Izzard、Nick McKeown、Jennifer Rexford、Cole Schlesinger、Dan Talayco、Amin Vahdat、George Varghese和David Walker。 P4：编程协议相关的数据包处理器。 SIGCOMM CCR，44（3）：87-952014年。 网址： http://dx.doi.org/10.1145/2656877.2656890 . -
Kenneth L.Calvert、Samrat Bhattacharjee、Ellen Zegura和James Sterbenz。 主动网络中的方向。 通信杂志，IEEE，36（10）：72-781998。
-
曼弗雷德·德罗斯特和保罗·加斯丁。 加权自动机和加权逻辑。 程序中。 ICALP，2005年。
-
曼弗雷德·德罗斯特（Manfred Droste）和多琳·戈泽（Doreen Götze）。 支持嵌套加权自动机。 程序中。 自动机和应用的非经典模型研讨会-（NCMA），2013年。
-
曼弗雷德·德罗斯特（Manfred Droste）和多琳·海塞尔（Doreen Heusel）。 加权无秩树自动机的支持。 芬丹。 通知。， 2015
-
Manfred Droste、Werner Kuich和Heiko Vogler。 加权自动机手册。 Springer科学与商业媒体，2009年。
-
Seyed K.Fayaz、Tushar Sharma、Ari Fogel、Ratul Mahajan、Todd Millstein、Vyas Sekar和George Varghese。 使用简洁的控制平面表示进行有效的网络可达性分析。 程序中。 第十二届USENIX操作系统设计与实现研讨会（OSDI），第217-232页，2016年。
-
Nick Feamster、Jennifer Rexford和Ellen Zegura。 《通往SDN.队列之路》，11（12）：20:20:40，2013年12月。
-
安德鲁·弗格森（Andrew D.Ferguson）、阿琼·古哈（Arjun Guha）、陈亮（Chen Liang）、罗德里戈·丰塞卡（Rodrigo Fonseca）和克里希纳穆斯（Shriram Krishnamurthi）。 参与式网络：用于SDN应用程序控制的API。 程序中。 ACM SIGCOMM，第327-338页，2013年。
-
Nate Foster、Rob Harrison、Michael J.Freedman、Christopher Monsanto、Jennifer Rexford、Alec Story和David Walker。 Frenetic：一种网络编程语言。 程序中。 第16届ACM SIGPLAN功能编程国际会议（ICFP），第279-291页，2011年。
-
Nate Foster、Dexter Kozen、Konstantinos Mamouras、Mark Reitblatt和Alexandra Silva。 概率网络图。 程序中。 员工持股计划，2016年。
-
Nate Foster、Dexter Kozen、Matthew Milano、Alexandra Silva和Laure Thompson。 NetKAT的联合决策程序。 在ACM SIGPLAN通知中，2015年。
-
Sushant Jain、Alok Kumar、Subhasree Mandal、Joon Ong、Leon Poutievski、Arjun Singh、Subbaiah Venkata、Jim Wanderer、Junlan Zhou、Min Zhu、Stephen Stuart Jonathan Zolla、Urs Hölzle和Amin Vahdat。 B4：具有全球部署的软件定义WAN的经验。 SIGCOMM计算。 Commun公司。 2013年第43（4）版。 网址： http://dx.doi.org/10.1145/2486001.2486019 . -
沃尔夫冈·约翰（Wolfgang John）、康斯坦蒂诺斯·彭蒂库西斯（Konstantinos Pentikousis）、乔治·阿加皮奥（George Agapiou）、爱德华多·雅各布（Eduardo Jacob）、马里奥·金德（Mario Kind）、安东尼奥·曼扎里尼（Antonio Manzalini）、富尔维奥·里索（Fulv。 网络服务链接的研究方向。 程序中。 IEEE SDN for Future Networks and Services，2013年。 网址： http://dx.doi.org/10.109/SDN4FNS.2013.6702549 . -
加维特·朱尼瓦尔（Garvit Juniwal）、尼古拉·比约纳（Nikolaj Bjorner）、Ratul Mahajan、桑吉特·塞希亚（Sanjit Seshia）和乔治·瓦尔盖塞（George Varghese）。 定量网络分析。 2016年技术报告。
-
Peyman Kazemian、George Varghese和Nick McKeown。 标题空间分析：网络的静态检查。 程序中。 USENIX NSDI，2012年。
-
Ahmed Khurshid、Xuan Zou、Wenxun Zhou、Matthew Caesar和P.Brighten Godfrey。 Veriflow：实时验证网络范围的不变量。 程序中。 USENIX NSDI，2013年。
-
丹尼尔·克尔斯滕。 无零和交换半环上可识别级数的支持是可识别的。 2009年6月30日至7月3日在德国斯图加特举行的第13届国际语言理论发展会议。 会议记录，第326-3332009页。
-
丹尼尔·克里斯滕和卡林·夸斯。 整数半环上可识别级数的支持的可识别性是不可判定的。 信息处理。 莱特。， 111(10):500-502, 2011.
-
Turgay Korkmaz和Marwan Krunz。 多约束最优路径选择。 程序中。 IEEE INFOCOM 2001，第2卷，第834-843页，2001年。
-
德克斯特·科赞。 带有测试和交换条件的Kleene代数。 施普林格，1996年。
-
Kim G.Larsen、Stefan Schmid和Bingtian Xue。 WNetKAT：一种加权SDN编程和验证语言。 在2016年ArXiv技术报告1608.08483中。
-
塔马斯·卢科夫斯基（Tamas Lukovszki）和斯特凡·施密德（Stefan Schmid）。 在线准入控制和服务链嵌入。 程序中。 SIROCCO，2015年。
-
Haohui Mai、Ahmed Khurshid、Rachit Agarwal、Matthew Caesar、P.Brighten Godfrey和Samuel Talmadge King。 用食蚁兽调试数据平面。 程序中。 ACM SIGCOMM，2011年。 网址： http://dx.doi.org/10.1145/2018436.2018470 . -
克里斯托弗·孟山都（Christopher Monsanto）、内特·福斯特（Nate Foster）、罗伯·哈里森（Rob Harrison）和大卫·沃克（David Walker）。 网络编程语言的编译器和运行时系统。 在ACM SIGPLAN通知中，2012年。
-
克里斯托弗·孟山都（Christopher Monsanto）、约书亚·瑞克（Joshua Reich）、内特·福斯特（Nate Foster）、詹妮弗·雷克斯福德（Jennifer Rexford）和大卫·沃克（David Walker）。 组成软件定义的网络。 程序中。 USENIX NSDI，第1-14页，2013年。
-
奥德·帕顿、尼尔·伊梅尔曼、阿列克桑德·卡比雪夫、奥里·拉哈夫、穆利·萨吉夫和沙伦·肖姆。 分散SDN政策。 在ACM SIGPLAN通知中，2015年。
-
M.Paredes-Farrera、M.Fleury和M.Ghanbari。路由器对瓶颈链路流量的响应。 程序中。 TRIDENTCOM，2006年。
-
Liron Schiff、Michael Borokhovich和Stefan Schmid。 回收大脑：数据平面中有用的开放流功能。 程序中。 ACM HotNets，2014年。
-
利伦·希夫（Liron Schiff）、彼得·库兹涅佐夫（Petr Kuznetsov）和斯特凡·施密德（Stefan Schmid）。 分布式SDN控制平面的带内同步。 程序。 ACM-SIGCOMM CCR，2016年。
-
Cole Schlesinger、Hitesh Ballani、Thomas Karagiannis和Dimitrios Vytiniotis。 软件定义网络的服务质量抽象。 技术报告，2016年。
-
大卫·施耐德。 微秒级市场。 程序中。 IEEE Spectrum，2012年。
-
贾斯汀·雪莉（Justine Sherry）、沙迪·哈桑（Shaddi Hasan）、科林·斯科特（Colin Scott）、阿文德·克里希纳穆西（Arvind Krishnamurthy）、西尔维亚·拉纳萨米（Sylvia Ratnasamy）和维亚斯·塞卡尔。 让中间盒成为别人的问题：网络处理作为云服务。 程序中。 ACM SIGCOMM 2012年、2012年。 网址： http://dx.doi.org/10.1145/2342356.2342359 . -
Ankit Singla、Balakrishnan Chandrasekaran、P.Brighten Godfrey和Bruce Maggs。 互联网以光速发展。 程序中。 ACM HotNets-XIII，2014年。
-
乔纳森·史密斯（Jonathan M.Smith）和斯科特·内特尔斯（Scott M.Nettles）。 主动网络：对过去、现在和未来的一种看法。 程序。 IEEE系统、人与控制论汇刊：应用与评论，34（1）：4-182004。
-
罗伯特·索莱（Robert Soulé）、什鲁塔西·巴苏（Shrutarshi Basu）、帕里萨·贾利利·马兰迪（Parisa Jalili Marandi）、费尔南多·佩多内（Fernando Pedone）、罗伯特·克莱恩伯格（Robert Kleinberg）、埃敏·贡·塞勒。 Merlin：一种用于提供网络资源的语言。 程序中。 ACM CoNEXT，第213-226页，2014年。
-
理查德·斯坦恩斯（Richard E.Stearns）和哈里·亨特（Harry B.Hunt）。 关于明确正则表达式、语法和自动机的等价性和包含问题。 程序中。 第22届计算机科学基础年会，1981年。
-
Renata Teixeira、Keith Marzullo、Stefan Savage和Geoffrey M.Voelker。 描述和测量互联网拓扑的路径多样性。 在ACM SIGMETRICS PER，2003中。 网址： http://dx.doi.org/10.1145/885651.781069 . -
亚伦·维尔纳、卡列夫·阿尔佩纳斯、奥罗吉特·熊猫、亚历山大·拉比诺维奇、穆利·萨吉夫、斯科特·申克和沙伦·肖姆。 状态网络验证的一些复杂性结果。 在2016年国际系统构建和分析工具和算法会议上。
-
安德烈亚斯·沃尔米（Andreas Voellmy）、阿希什·阿加瓦尔（Ashish Agarwal）和保罗·哈达克（Paul Hudak）。 Nettle：开放流网络的功能性反应式编程。 技术报告，耶鲁大学，2010年。
-
Andreas Voellmy、Junchang Wang、Y Richard Yang、Bryan Ford和Paul Hudak。 Maple：使用算法策略简化SDN编程。 在SIGCOMM CCR中，2013年。 网址： http://dx.doi.org/10.1145/2534169.2486030 . -
王安多（Anduo Wang）、贾利民（Limin Jia）、刘长斌（Changbin Liu）、布恩·塔鲁（Boon Thau Loo）、奥列格·索科尔斯基（Oleg Sokolsky）和普里什维斯·巴苏（Prithwish Basu）。 正式可验证的网络。 程序。 ACM HotNets，2009年。
-
周文轩（Wenxuan Zhou）、董进（Dong Jin）、杰森·克罗夫特（Jason Croft）、马修·凯撒（Matthew Caesar）和布莱恩·戈弗雷（P.Brighten Godfrey）。 在软件定义的网络中强制执行可自定义的一致性属性。 程序中。 USENIX NSDI，2015年。