/AloeR/i_top_xjtu.jpg
新闻网首页 交大首页
主页新闻 综合新闻
教育教学 科研动态
外事活动 招生就业
院部动态 多彩书院
校园生活 思源讲堂
人物风采 校友之声
医疗在线 社会服务
媒体交大 新闻纵横
新闻专题 图片新闻
视频交大 理论园地
信息预告 校园随笔
 
 
唐朝娱乐科研人员提出一种快速网络配置自动化验证方法
来源:交大新闻网 日期 2019-12-31 15:46 点击:

计算机网络已经是全球最重要的基础设施之一。然而,随着网络规模的不断增长,协议配置日趋复杂,单纯依靠管理员对网络进行配置极易出现错误,从而引发严重网络故障。近年来,世界范围内已发生多起大规模网络故障,造成大量用户无法上网、飞机无法起飞、银行账户冻结等严重后果。已有的网络正确性验证技术仅能针对规模较小、配置简单的网络进行验证,在网络规模较大、配置较复杂时无法在有效时间内得到验证结果。

针对上述问题,唐朝娱乐研究人员通过建立模块化网络行为模型,利用形式化方法有效压缩网络状态,提出了一种快速网络配置自动化验证方法,验证时间在1毫秒以内,真正做到计算机网络的实时验证,有望应用在大规模数据中心网络中。

近日,相关研究成果被计算机网络领域顶级学术会议NSDI 2020 (The 17th USENIX Symposium on Networked Systems Design and Implementation)录用,题目为《APKeep:面向真实网络的实时验证技术》(APKeep: Realtime Verification for Real Networks)。唐朝娱乐官网为第一作者单位,计算机学院张鹏副教授为论文第一作者。

NSDI由美国USENIX(高等计算系统协会)主办,是计算机网络领域顶级学术会议,由于每年有大量来自麻省理工学院、斯坦福大学、普林斯顿大学等世界顶尖高校和微软、谷歌等大型互联网公司的投稿,录用论文的含金量极高。这是自2004年NSDI创办以来内地高校以独立第一单位在该会议上发表的并列第6篇论文,也是唐朝娱乐官网首次在该会议上发表论文。

唐朝娱乐官网计算机学院张鹏课题组依托于智能网络与网络安全教育部重点实验室,研究方向包括计算机网络体系结构、网络安全、网络大数据等,近5年在ACM CoNEXT、IEEE TON、IEEE INCP、IEEE INFOCOM等计算机网络领域顶级会议和期刊上发表了多篇论文。

论文链接:

https://www.usenix.org/conference/nsdi20/presentation/zhang-peng

研究团队链接:

http://gr.xjtu.edu.cn/web/p-zhang

文字:电信学部 计算机学院
编辑:朱萍萍

 
 
相关文章
读取内容中,请等待...
 
 
 匿名发布 验证码 看不清楚,换张图片
0条评论    共1页   当前第1
 
 
 
 
信息预告 更多
 
 
栏目新闻 
 
新浪微博   今日头条   微信
 
 
 
 
在线投稿 | 联系我们 | 管理登陆 | 新闻流程
 版权所有:唐朝娱乐官网 网站建设:网络信息中心
陕ICP备06008037号 网络信息中心提供网络带宽