奈特凯特

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


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

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