中国科大学位与研究生教育
课程名称: 教师:
当前位置:
 >> 
 >> 
Network Verification and Fault Diagnosis in SDN
Network Verification and Fault Diagnosis in SDN
教师介绍
Associate Professor in School of Information Technology Illinois State University. His research interests are in fault diagnosis in large-scale distributed networking systems, cloud computing, network security, wireless networks, and traffic classification, as well as various machine learning and AI techniques.

本讲教师:Yongning Tang
所属学科:工科
人  气:2874

课程介绍
   ABSTRACT:Compared to traditional networks, SDN employs two important simplifications that make it eligible for another new dimension of network troubleshooting: formal verification. First, SDN relocates control from distributed algorithms running on individual devices to a logically centralized controller. Second, SDN replaces various heterogeneous devices (e.g., switches, routers, load balancers, firewalls) used in traditional networks with commodity programmable SDN switches that provide a standard set of features. Together, these simplifications imply that the behavior of the network is determined by the sequence of configuration instructions issued by the controller. Hence, network operators can reason about the states of SDN switches to verify whether or not the network has some property (e.g., loop free, correct access control). In the networking community, there is burgeoning interest in tools that check network-wide properties automatically.   In this talk, I will start from a traditional fault diagnosis technique based on Bayesian belief network, and then move to two dimensions of network troubleshooting in the context of SDN: causality based fault diagnosis and formal method based network verifications. Several recently developed solutions in the networking community, such as Minimal Causal Sequence (MCS), FlowChecker, Header Space Analysis (HSA), VeriFlow, will be presented as case studies. Finally, I will wrap up my talk with brief discussion of my recent research in the related field.

评论

针对该课程没有任何评论,谈谈您对该课程的看法吧?
  • 用户名: 密 码:
致谢:本课件的制作和发布均为公益目的,免费提供给公众学习和研究。对于本课件制作传播过程中可能涉及的作品或作品部分内容的著作权人以及相关权利人谨致谢意!
课件总访问人次:11099864
中国科学技术大学研究生网络课堂试运行版,版权属于中国科学技术大学研究生院。
本网站所有内容属于中国科学技术大学,未经允许不得下载传播。
地址:安徽省合肥市金寨路96号;邮编:230026。TEL:+86-551-63602922;E-mail:wlkt@ustc.edu.cn。