奈特凯特

NetKAT——一个正式的网络验证系统。本文综述了NetKAT(一种用于分组交换网络推理的形式化系统)的开发及其在软件定义网络新兴领域中的作用。


zbMATH中的参考文献(参考文献23条,2标准条款)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 艾伯特,艾薇拉;Gómez zamalola,米格尔;伊莎贝尔,米格尔;鲁比奥,阿尔伯特;萨马蒂诺,马特奥;Silva,Alexandra:软件定义网络的基于角色的模型检查(2021)
  2. 加尔泰斯,乔治亚娜;Tunç,Hünkar Can:解释NetKAT的安全故障(2021年)
  3. 利弗西,约瑟夫;Wojtczak,Dominik:命题流言协议(2021)
  4. 辛格,贾格迪普;Behal,Sunny:SDN中DDoS攻击的检测和缓解:全面回顾、研究挑战和未来方向(2020年)
  5. 阿尔卑斯,卡列夫;熊猫、金牛;拉比诺维奇,亚历山大;射手座,情绪低落;史考特,申克;肖汉,莎伦;Velner,Yaron:状态网络验证的一些复杂性结果(2019)
  6. 卡普,托比亚斯;深色的,保罗;巴斯卢提克;席尔瓦,亚历山德拉;Zanasi,Fabio:串并行pomset语言:理性、上下文无关性和自动机(2019)
  7. 迪克曼,科尼利厄斯;赫尔,拉尔斯;米迦利斯,朱利叶斯;哈斯贝克,马克西米利安;Carle,Georg:验证的iptables防火墙分析和验证(2018)
  8. 多曼,阿米娜;Pous,Damien:identity free Kleene lattices的完备性(2018)
  9. 加廷格,马尔文;Jana Wagemaker:走向网络动态八卦分析(2018)
  10. Kahn,David M.:概率网络规划的不可判定问题(2017)
  11. 卡普,托比亚斯;深色的,保罗;巴斯卢提克;席尔瓦,亚历山德拉;Zanasi,Fabio:Brzozowski并发——pomset语言的Kleene定理(2017)
  12. Mamouras,Konstantinos:基于Kleene代数的异常终止方程理论(2017)
  13. 福斯特,奈特;德克斯特,科赞;马穆拉斯、康斯坦丁诺斯;瑞特布拉特,马克;Silva,Alexandra:概率NetKAT(2016)
  14. Mamouras,Konstantinos:确定性和非确定性一元递归方案的霍尔逻辑(2016)
  15. 蒂曼,彼得(编辑):编程语言与系统。第25届欧洲编程研讨会,ESOP 2016,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2016,荷兰埃因霍温,2016年4月2日至8日。会议记录(2016年)
  16. Uramoto,Takeo:Kleene代数的标准有限模型及其检验(2016)
  17. 斯莫卡,斯特芬;艾略普洛斯,螺旋藻;福斯特,奈特;Guha,Arjun:NetKAT的快速编译器(2015)
  18. Traytel,Dmitriy:WS1S的煤炭决策程序(2015)
  19. -:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL'14
  20. 安德森,卡罗琳简;福斯特,奈特;古哈,阿君;珍妮,让巴蒂斯特;德克斯特,科赞;科尔·施莱辛格;Walker,David:Netkat,《网络语义基础》(2014)