德国达姆施塔特工业大学胡劲纬博士学术讲座通知

应计算机学院智能与分布计算实验室邀请，德国达姆施塔特工业大学胡劲纬博士将于2015年3月12日（周四）下午来计算机学院举行专题讲座，欢迎广大师生参加。

讲座题目：CliSeAu: Security Distributed Java programs by Cooperative Dynamic Enforcement

讲座时间：2015年3月12日（周四）下午2：30开始
讲座地点：IDC实验室会议室（南1楼442室）

报告题目：
CliSeAu: Securing Distributed Java Programs by Cooperative Dynamic Enforcement

报告讲者：
Dr. Jinwei Hu, Department of Computer Science, TU Darmstadt, Germany

报告摘要：
CliSeAu is a novel tool for hardening distributed Java programs. CliSeAu takes as input a specification of the desired properties and a Java bytecode target program, i.e. the format in which Java programs are usually provided. CliSeAu returns hardened Java bytecode that provides the same functionality as the original code, unless this code endangers the desired properties. By monitoring the components of a distributed system in a decentralized and coordinated fashion, our tool CliSeAu is able to enforce a wide range of properties, both effectively and efficiently. In this article, we present the architecture of CliSeAu, explain how the components of a distributed target program are instrumented by CliSeAu, and illustrate at an example application how CliSeAu can be used for securing distributed programs.

讲者简介：
Jinwei Hu is a postdoctoral researcher in Modeling and Analysis of Information Systems (MAIS) of TU Darmstadt. He obtained his Bachelor's degree from Nanchang University in 2006 and PHD from Huazhong University of Science and Technology in 2010. He has been a research assistant in University of Western Sydney and Qatar University. He has authored over 20 publications in prestigious conferences and journals and “Towards Automatic Update of Access Control Policy” was hired by USENIX LISA. His research interest is dynamic security enforcement, especially for distributed systems, which contains security policy enforcement, formal methods, access control policy engineering and so on. He regularly serves as a reviewer of top conferences and journals in computer security such as Computer Science - Research and Development, Computer & Security, Future Generation Computer Systems, International Journal of Information Security, Peer-to-Peer Networking and Applications, IFIP SEC, POST, ESSoS.

http://www.mais.informatik.tu-darmstadt.de/Jinwei_Hu.html