学术报告【A Propagation Model with Defensive Measures for PLC-PC Worms in Industrial Networks】
时间：2018年8月3日(星期五)下午 14:00
地点：仓山校区成功楼603报告厅
主讲：Montclair State University，王大进教授
主办：数学与信息学院、福建省网络安全与密码技术重点实验室
参加对象：数信学院、网络安全与密码技术重点实验室相关教师与研究生
报告摘要：In industrial processes, the security of the control system has always been a crucial issue. A PLC worm is a malicious program that can replicate and spread itself in programmable logic controllers (PLC) in an industrial control system. PLC worms can be generated that can live and run only in PLCs, without requiring any computers (PC) to proliferate. The impact of PLC worms to the impacted system could be devastating. When a PLC worm is combined, as a plus-in, with a malicious computer software such as BlackEnergy, a PLC-PC worm is formed, which will live and run on the two-layered, PLC-PC coupled network. In this paper, for the first time, we propose a propagation model for PLC-PC worms, with defensive programs (i.e. isolation/immunization) running on the network. We show that with isolation/immunization, both disease-free equilibrium and with-disease equilibrium of the network can be reached, at which the worms stop spreading. Numerical experiments have been performed to justify the analytical results. The numerical experiments also show the effectiveness of defensive measures in preventing PLC-PC worms from spreading.
报告人简介：Dajin Wang received the B.Eng. degree in computer engineering from Shanghai University of Science and Technology in 1982, and the Ph.D. degree in computer science from Stevens Institute of Technology in 1990. Since 1990 he has been with the Department of Computer Science at Montclair State University, Montclair, New Jersey. He became a full professor of computer science in 2002. He received several university-level awards for his scholarly accomplishments. He has held visiting positions in other universities, and has consulted in industry. His main research interests include interconnection networks, fault tolerant computing, algorithmic robotics, parallel processing, and wireless ad hoc and sensor networks. He has published over eighty papers in these areas. Many of his works appeared in premier journals including IEEE Transactions on Computers, IEEE TPDS, IEEE Transactions on Systems, Man and Cybernetics, IEEE Transactions on Reliability, J. of Parallel and Distributed Computing, and Parallel Computing. He has served on the program committees of influential conferences. He served as an Associate Editor of IEEE Transactions on Parallel and Distributed Systems from 2010 to 2014.