姓名：王之梁
职称：副教授
电话：+86
邮箱：wzl@cernet.edu.cn
教育背景工学学士 (计算机科学与技术), 清华大学, 中国, 2001
工学博士 (计算机科学与技术), 清华大学, 中国, 2006
研究领域网络协议形式化验证与测试
新一代互联网体系结构
互联网路由体系结构及协议
软件定义网络SDN
网络测量与监测
网络安全
研究概况1. 基于形式化方法的互联网协议测试研究：提出了一种多组件并行有限状态机模型及其协议测试生成技术，为协议测试提供了坚实的基础；基于形式化测试语言TTCN的系列标准，作为总体设计负责人之一，设计实现了跨协议、跨平台的分布式通用协议集成测试系统PITSv3，通过扩展TTCN语法和语义，解决了低成本、高效率支持新型网络协议和技术测试的难题。基于上述模型方法和系统，主持研发了SAVI（接入网源地址验证）和SDN（软件定义网络）等新型网络协议和技术的测试集，高效支持了这些新型网络技术的测试。为网络运营商和科研单位提供了大量测试服务，获得了2016年中国电子学会技术发明一等奖（排名2/6）等奖励。
2. 互联网路由和流量的异常检测研究：在互联网域间路由前缀劫持检测方面，针对传统域间路由劫持检测准确度低、延迟大、扩展性差的问题，提出了一种基于控制平面和数据平面相关性的路由指纹模型及路由前缀劫持动态检测方法，显著提升了前缀劫持监测的准确度、覆盖率和实时性；实现了国际上首个公开发布监测报告的全球互联网前缀劫持在线监测平台Argus，为保障全球互联网域间路由安全提供了重要的技术支撑，已经成为国内外网络运营商重要的安全态势参考，相关论文获得国际互联网测量会议IMC颁发的首个Community Contribution Award，根据Google scholar统计单篇引用次数已达70余次。在基于大数据平台的网络流量异常检测方面，为解决对海量和高速网络流量进行异常检测的难题，提出了两种新型的信息熵流量度量特征模型，并提出了基于大数据平台的网络流量异常检测方法和系统。系统已在清华校园网和中国电信进行了部署和试验。
3. 新型互联网路由体系结构和协议研究：在互联网域间和域内多路径路由机制方面，在域间层面，提出了一种基于AS环的不相交多路径路由机制DIMR，并建立了形式化模型从理论上证明了其收敛性；在域内层面，提出了高效的分布式动态多路径路由机制DMPA，并根据路由度量模型证明了其正确性。解决了采用分布式算法如何正确高效的进行多路径路由计算的难题。在混合SDN（软件定义网络）中面向流量工程的路由优化方面，充分结合分布式路由和集中式路由各自的优势，提出了基于单一流量矩阵和多流量矩阵的SDN/IP混合网络下的流量工程路由机制，实现了对网络资源的高效灵活利用。相关研究成果发表在Computer Networks、ICNP等SCI国际期刊和重要国际会议上。
奖励与荣誉基于形式化方法的互联网协议测试关键技术及其应用，2016年度中国电子学会科学技术奖技术发明类，一等奖，2/6
下一代互联网4over6过渡技术及其应用， 2012年度中国通信学会科学技术奖，一等奖，14/15
《基于软线技术的IPv6过渡技术体系》等5项IETF国际标准和行业标准，2012年度中国通信标准化协会科学技术奖，一等奖，13/15
支持IPv6源地址验证的交换机关键技术，2010年度中国通信学会科学技术奖，二等奖， 6/10
论文"Detecting Prefix Hijackings in the Internet with Argus"获ACM IMC 2012（互联网测量领域顶级国际会议，CCF B类会议）Community Contribution Award
学术成果[1] Yingya Guo, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu. Traffic Engineering in Hybrid SDN Networks with Multiple Traffic Matrices. Computer Networks. 126 (2017) 187–199
[2] Han Zhang, Xingang Shi, Yingya Guo, Zhiliang Wang, Xia Yin. More Load, More Differentiation - Let More Flows Finish before Deadline in Data Center Networks. Computer Networks. 127(2017) 352 - 367
[3] Jiangyuan Yao, Zhiliang Wang, Xia Yin, Xingang Shi, and Chongrong Li. Testing Black-Box SDN Applications with Formal Behavior Model. IEEE MASCOTS 2017
[4] Yingya Guo, Zhiliang Wang, Xia Yin, Xingang Shi, and Jianping Wu. Optimize Routing in Hybrid SDN Network With Changing Traffic. ICCCN 2017
[5] 于洋, 王之梁, 毕军, 施新刚, 尹霞. 软件定义网络中北向接口语言综述. 软件学报. 2016, 27(4): 933-1008
[6] Song Li, Haixin Duan, Zhiliang Wang, Jinjin Liang, Xing Li. An accurate distributed scheme for detection of prefix interception. SCIENCE CHINA Information Sciences. 2016, 59(5)
[7] Han Zhang, Xingang Shi, Xia Yin, Zhiliang Wang, Yingya Guo. FDRC - Flow Duration Time Based Rate Control in Data Center Networks. IWQoS 2016, Beijing, China
[8] Xia Yin，Dan Wu，Zhiliang Wang，Xingang Shi，Jianping Wu，DIMR: Disjoint Interdomain Multipath Routing，Computer Networks，2015，91：356-375
[9] Xia Yin，Jiangyuan Yao，Zhiliang Wang，Xingang Shi，Jun Bi，Jianping Wu，Modeling and Testing of Network Protocols with Parallel State Machines，IEICE Transactions on Information and Systems，2015，E98-D（12）：2091-2104
[10] Han Zhang， Xingang Shi，Xia Yin，Fengyuan Ren，Zhiliang Wang，More Load, More Differentiation - a Design Principle for Deadline-Aware Flow Control in DCNs， INFOCOM 2015
[11] Geng Tian，Zhiliang Wang，Xia Yin，Zimu Li，Xingang Shi，Ziyi Lu，Chao Zhou，Yang Yu，Yingya Guo，Mining Network Traffic Anomaly Based on Adjustable Piecewise Entropy，IWQoS 2015，Portland, Oregon, USA
[12] Geng Tian，Zhiliang Wang，Xia Yin，Zimu Li，Xingang Shi，Ziyi Lu，Chao Zhou，Yang Yu，Dan Wu，TADOOP: Mining Network Traffic Anomalies with Hadoop，11th EAI International Conference on Security and Privacy in Communication Networks (Securecomm)，Dallas, USA
[13] Jiangyuan Yao，Zhiliang Wang，Xia Yin，Xingang Shi，Jianping Wu，Formal modeling and systematic black-box testing of SDN data plane，22nd IEEE International Conference on Network Protocols, ICNP 2014，179-190，Research Triangle, NC, United states
[14] Yingya Guo， Zhiliang Wang， Xia Yin，Xingang Shi，Jianping Wu，Traffic engineering in SDN/OSPF hybrid network，22nd IEEE International Conference on Network Protocols, ICNP 2014，563-568，Research Triangle, NC, United states
[15] Haijun Geng，Xingang Shi，Xia Yin，Zhiliang Wang，Dynamic distributed algorithm for computing multiple next-hops on a tree，2013 21st IEEE International Conference on Network Protocols, ICNP 2013，Gottingen, Germany
[16] Yang Xiang，Xingang Shi，Jianping Wu，Zhiliang Wang，Xia Yin，Sign what you really care about - Secure BGP AS-paths efficiently，COMPUTER NETWORKS，2013，57（10）：2250-2265
[17] Xingang Shi，Yang Xiang，Zhiliang Wang，Xia Yin，Jianping Wu，Detecting prefix hijackings in the internet with argus，2012 ACM Internet Measurement Conference, IMC 2012，15-28，Boston, MA, United states
[18] Xia Yin, Zhiliang Wang, Chuanming Jing, Jianping Wu. A Formal Approach to Robustness Testing of Network Protocol with Time Constraints. Security and Communication Networks. 2011, 4(6): 622-632
[19] Zhiliang Wang，Xia Yin，Yang Xiang，Ruiping Zhu，Shirui Gao，Xin Wu， Shijian Liu，Song Gao，Li Zhou，Peng Li，TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks，21st IFIP International Conference on Testing of Communicating Systems/9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009)，163-178，Eindhoven, NETHERLANDS
[20] Yin Xia，Wang ZhiLiang，Jing ChuanMing，Shi XinGang，A TTCN-3-based protocol testing system and its extension，Science in China - Series F: Information Sciences，2008，51（11）：1703-1722
[21] Zhiliang Wang, Xia Yin, Chuanming Jing, A formal method to real-time protocol interoperability testing，Science in China - Series F: Information Sciences，2008，51（11）：1723-1744
[22] Zhiliang Wang，Jianping Wu，Xia Yin，Xingang Shi，Beihang Tian，Using TIMEDTTCN-3 in interoperability testing for real-time communication systems，18th International Conference on Testing of Communicating Systems，324-340，New York, NY