【学术报告】Verification in Network Management and Security

题  目：Verification in Network Management and Security

网络安全与管理中的验证问题

主讲人：Lihua Yuan, University of California, Davis

袁利华，加州大学戴维斯分校

时  间：2007年11月20日（星期二）10:00~11:00

地  点：bw必威西汉姆联官网蒙民伟楼109室

摘  要：

In this talk, I'll present some of my PhD research work in the area of network management and network security. My research aims to enable administrators and users to verify with strong confidence about some network-level properties. I have diversified approaches in these works: FIREMAN is a static analysis toolkit that can check for misconfigurations in both single and distributed firewalls. DoX is a peer-to-peer cooperative system for combating cache poisoning attacks. ProgME is a programmable measurement framework that enables the measurement/monitoring system to answer user queries in a scalable fashion.

I'll also share some personal experience about technical writing for system conferences and journals in English.

主讲人简介：

Lihua Yuan is a PhD candidate in the Department of Electrical and Computer Engineering at the University of California, Davis. He obtained his M.Eng. Degree from National University of Singapore in July 2003 and B.Eng degree (Honors) from Nanyang Technological University in May 1999. He has broad interests in computer networks and distributed systems, with a focus on management and security issues. His research work has been published at top-quality international conferences and premium journals, which include ACM SIGCOMM, IEEE INFOCOM, IEEE Symposium on Security and Privacy, and Computer Networks. He has served as a technical reviewer for several conferences and journals, including IEEE INFOCOM, IEEE ICC, IWQoS, PerCom, SecureCom, IEEE Transaction on Parallel and Distributed Systems, and Computer Networks.

For more information about Lihua, please visit http://lihua.xiyuan.org/.