Analysis and design of secure cyber-physical systems
2014-03-26LingSHI
Ling SHI
School of Engineering,Hong Kong University of Science&Technology,Hong Kong,China
Analysis and design of secure cyber-physical systems
Ling SHI
School of Engineering,Hong Kong University of Science&Technology,Hong Kong,China
Cyber-physical systems(CPSs)are new emerging systems that seamlessly integrate physical systems,communication systems and computation systems.Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems,industrial process control,aerospace and automobile engineering,health-care and assisted living,to just name a few.For many of these systems,secure operations are of key concerns.In particular,for some safety-critical applications,security is of paramount importance.Diverse motivations and strong incentives exist everywhere and at any time for launching malicious attacks on the CPSs,for example,economic reasons(e.g.,by reducing or even not paying electricity charge)and terrorism the purpose of which is apparent.
Unlike traditional wired and point-to-point control systems where an attacker may not easily launch any attack,the new generation CPSs widely utilize existing network infrastructure such as wireless communications,local area networks,etc.,for information delivery and high-level supervisory monitoring and control.This,although brings unprecedented convenience to the system design and implementation,introduces security loopholes to the closedloop system where an attacker may launch various types of popular attacks that have rooted deeply in the intrinsic architecture of the network protocols pervasively used today.For example,attackers may launch the so-called Denialof-Service(DoS)attacks and may eavesdrop a communication channel and learn the content of the transmitted data when the data is conveyed over wireless channels.Worst of all,the attackers may intercept the data,inject some malicious content into it,and then send it out as if the data were intact.By properly manipulating the data content,the attackers may control the entire system and steer the system state to any arbitrary positions.
Secure data transmission is almost taken for granted in early research of CPSs.Data imperfection is indeed widely considered.The models of such imperfection(e.g.,in terms of random data packet drops and delays,quantization,etc.),however,are very much limited and do not include the possibility that the communicated data may not be the“true”data collected by the sensors or computed by the controllers,which may be already modified in a malicious way by the attackers.Very recently in July 2010,Stuxnet,which is a control system malware and targets vulnerable Supervisory Control And Data Acquisition(SCADA)systems in a power grid,raises new questions and inspires novel research on cyber-physical system security.
The control and systems community has made significant progress in analyzing security issues arising in a CPS and designing counter measures to make the system more resilient to malicious attacks in the past few years.Various performance metrics have been proposed for different applications including indexes for state estimation(e.g.,mean square errors of state estimation in a smart grid),feedback control(e.g.,LQR or LQG cost of wireless networked control systems),etc.Most of the developed approaches,such as secure detection,estimation and robust control,which aim to identify the abnormality arising in a system state,can only provide limited counter measures to certain strict types of malicious attacks,such as replay attacks,DoS attacks,and integrity attacks on linear systems.
Security of CPSs is recently becoming a new hot research topic in the control community.The Annual Conference on High Confidence Networked Systems(HiCoNS)has been held in CPSWeek since 2012 to promote the design of more secure and trustworthy CPSs.One session of ACM/IEEE International Conference on Cyber-Physical Systems(ICCPS)is on the security and safety of CPS.An increasing number of research papers on CPSs security have appeared in international leading conferences,including IEEE Conferences on Decision and Control(CDC)and American Control Conferences(ACC),and international leading journals,including IEEE Transactions on Automatic Control and Automatica.In spite of these booming activities,the research on CPSs security is still at its infancy and more novel analytical and design tools are needed and systematic analysis,design,validation and verification are urgently called for.
Interesting topics along this direction may include modeling of attack action and attack strategies analysis,intrusion detection systems,secure state estimation,resilient control theory,failure tolerance,identification and recovery,networked control systems under cyber attack,game theory in CPS,and security issues in CPS applications(e.g.,smart grid security,UAV control security).
DOI10.1007/s11768-014-4000-2
©2014 South China University of Technology,Academy of Mathematics and Systems Science,CAS,and Springer-Verlag Berlin Heidelberg
the B.Sc.degree in Electrical and Electronic Engineering from Hong Kong University of Science and Technology,Kowloon,Hong Kong,in 2002,and the Ph.D.degree in Control and Dynamical Systems from California Institute of Technology,Pasadena,CA,USA,in 2008.He is currently an associate professor at the Department of Electronic and Computer Engineering,Hong Kong University of Science and Technology.His research interests include networked control systems,wireless sensor networks,event-based state estimation and sensor scheduling,and smart energy systems.E-mail:eesling@ust.hk.
杂志排行
Control Theory and Technology的其它文章
- An online estimator for rotor resistance in vector drives of induction machines based on Walsh functions
- A novel trajectory planning strategy for aircraft emergency landing using Gauss pseudospectral method
- Robust state estimation for uncertain linear systems with deterministic input signals
- Adaptive-backstepping force/motion control for mobile-manipulator robot based on fuzzy CMAC neural networks
- Robust sliding mode control of general time-varying delay stochastic systems with structural uncertainties
- On linear observers and application to fault detection in synchronous generators