Physical authentication of control systems: Designing watermarked control inputs to detect counterfeit sensor outputs

IEEE Control Systems

Volumn 35, Issue 1, 2015, Pages 93-109

  Mo, Yilin ^a   Weerakkody, Sean ^b   Sinopoli, Bruno ^b  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CENTRIFUGES; COMPLEX NETWORKS; CONTROL SYSTEMS; DATA ACQUISITION; EMBEDDED SYSTEMS; TERRORISM;

BUILT ENVIRONMENT; CRITICAL RESOURCES; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN AND ANALYSIS; MALICIOUS ENTITY; POSSIBLE FUTURES; SUPERVISORY CONTROL AND DATAACQUISITION SYSTEMS (SCADA); THREAT OF ATTACK;

MALWARE;

EID: 84921456182     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCS.2014.2364724     Document Type: Article

References (22)

1. R. Langner. (2013, Nov.). To kill a centrifuge: A technical analysis of what Stuxnet's creators tried to achieve. Langner Communications. Tech. Rep. Available: www. langner. com/en/wpcontent/uploads/2013/11/ To-kill-a-centrifuge. pdf
2. A. Willsky, "A survey of design methods for failure detection in dynamic systems," Automatica, vol. 12, pp. 601-611, Nov. 1976
3. A. Abur and A. G. Expósito, Power System State Estimation: Theory and Implementation. Boca Raton, FL: CRC Press, 2004
4. Y. Liu, M. Reiter, and P. Ning, "False data injection attacks against state estimation in electric power grids," ACM Trans. Inform. Syst. Secur., vol. 14, no. 1, pp. 13:1-13:33, 2011
5. H. Sandberg, A. Teixeira, and K. H. Johansson, "On security indices for state estimators in power networks," in Proc. 1st Workshop Secure Control Systems, Stockholm, Sweden, 2010, paper 10
6. F. Pasqualetti, F. Dorer, and F. Bullo, "Attack detection and identification in cyber-physical systems," IEEE Trans. Autom. Contr., vol. 58, no. 11, pp. 2715-2729, 2013
7. H. Fawzi, P. Tabuada, and S. Diggavi, "Secure estimation and control for cyber-physical systems under adversarial attacks," IEEE Trans. Autom. Contr., vol. 59, no. 6, pp. 1454-1467, 2014
8. S. Sundaram, M. Pajic, C. Hadjicostis, R. Mangharam, and G. J. Pappas, "The wireless control network: Monitoring for malicious behavior," in Proc. IEEE Conf. Decision Control, Atlanta, Georgia, Dec. 2010, pp. 5979-5984
9. S. Sundaram and C. N. Hadjicostis, "Distributed function calculation via linear iterative strategies in the presence of malicious agents," IEEE Trans. Autom. Contr., vol. 56, no. 7, pp. 1495-1508, 2011
10. F. Pasqualetti, A. Bicchi, and F. Bullo, "Consensus computation in unreliable networks: A system theoretic approach," IEEE Trans. Autom. Contr., vol. 57, no. 1, pp. 90-104, Jan. 2012
11. Y. Mo and B. Sinopoli, "False data injection attacks in cyber physical systems," in Proc. 1st Workshop Secure Control Systems, Stockholm, Sweden, Apr. 2010, paper 7
12. Y. Mo, E. Garone, A. Casavola, and B. Sinopoli, "False data injection attacks against state estimation in wireless sensor networks," in Proc. 49th IEEE Conf. Decision Control, Atlanta, GA, 2010, pp. 5967-5972
13. Y. Mo and B. Sinopoli, "Secure control against replay attacks," in Proc. 47th Annu. Allerton Conf. Communication, Control, Computing, Allerton, IL, 2009, pp. 911-918
14. Y. Mo, R. Chabukswar, and B. Sinopoli, "Detecting integrity attacks on SCADA systems," IEEE Trans. Control Syst. Technol., vol. 22, no. 4, pp. 1396-1407, 2014
15. P. Kumar and P. Varaiya, Stochastic Systems: Estimation, Identification, and Adaptive Control. Englewood Cliffs, NJ: Prentice-Hall, 1986
16. R. K. Mehra and J. Peschon, "An innovations approach to fault detection and diagnosis in dynamic systems," Automatica, vol. 7, no. 5, pp. 637-640, Sept. 1971
17. P. E. Greenwood and M. S. Nikulin, A Guide to Chi-Squared Testing. New York: Wiley, Apr. 1996
18. L. L. Scharf and C. Demeure, Statistical Signal Processing: Detection, Estimation and Time Series Analysis. Reading, MA: Addison-Wesley, 1991
19. T. Chonavel and J. Ormrod, Statistical Signal Processing: Modelling and Estimation (Series Advanced Textbooks in Control and Signal Processing). Berlin Heidelberg, Germany: Springer-Verlag, 2002
20. P. Delsarte, Y. Genin, and Y. Kamp, "Orthogonal polynomial matrices on the unit circle," IEEE Trans. Circuits Syst., vol. 25, no. 3, pp. 149-160, 1978
21. M. Grant and S. Boyd. (2013, Sept.). CVX: Matlab software for disciplined convex programming, version 2. 0 beta. [Online]. Available: www. cvxr. com/cvx
22. M. Grant and S. Boyd, "Graph implementations for nonsmooth convex programs," in Recent Advances in Learning and Control (Series Lecture Notes in Control and Information Sciences, vol. 371), V. Blondel, S. Boyd, and H. Kimura, Eds. Berlin Heidelberg, Germany: Springer-Verlag, 2008, pp. 95-110.