我的新闻

论文在USENIX NSDI 2020发表


65.8K
2020-02-26

论文“APKeep: Realtime Verification for Real Networks”在The 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2020) 发表!NSDI由美国USENIX主办,是计算机网络领域顶级学术会议,CCF推荐A类会议,清华推荐A类会议。这是自2004年NSDI创办以来西安交通大学首次在该会议上发表论文。

研究简介:计算机网络已经是全球最重要的基础设施之一。然而,随着网络规模的不断增长,协议配置日趋复杂,单纯依靠管理员对网络进行配置极易出现错误,从而引发严重网络故障。已有的网络正确性验证技术仅能针对规模较小、配置简单的网络进行验证,在网络规模较大、配置较复杂时无法在有效时间内得到验证结果。针对上述问题,我们通过建立模块化网络行为模型,利用形式化方法有效压缩网络状态,提出了一种快速网络配置自动化验证方法,验证时间在1毫秒以内,真正做到计算机网络的实时验证。

论文链接:https://www.usenix.org/conference/nsdi20/presentation/zhang-peng

西安交通大学报道:http://news.xjtu.edu.cn/info/1033/126987.htm

电信学部报道:http://eie.xjtu.edu.cn/info/1073/22511.htm



版权所有:西安交通大学 站点设计:网络信息中心 陕ICP备05001571号 联系电话:82668579 82668902 QQ群号:496666580
欢迎您访问我们的网站,您是第 位访客
推荐分辨率1024*768以上 推荐浏览器IE7 Firefox 以上