The process matters: Ensuring data veracity in Cyber-physical systems

ASIACCS 2015 - Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security

Volumn , Issue , 2015, Pages 133-144

  Krotofil, Marina ^a   Larsen, Jason ^b   Gollmann, Dieter ^c  

^a European Network for Cyber Security   (Netherlands)

^b IOActive Inc ^*  (United States)

^c HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Cluster entropy; Cyber physical systems; Plausibility checks; Signal spoofing; Veracity

Indexed keywords

EMBEDDED SYSTEMS; ENTROPY; NETWORK SECURITY;

CONSISTENCY CHECKS; IT INFRASTRUCTURES; PHYSICAL EFFECTS; PLAUSIBILITY CHECKS; REAL TIME ALGORITHMS; SECURITY PROPERTIES; TENNESSEE EASTMAN CHALLENGE; VERACITY;

CYBER PHYSICAL SYSTEM;

EID: 84942546615     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2714576.2714599     Document Type: Conference Paper

References (22)

1. A. Agogino and K. Tumer. Entropy based anomaly detection applied to space shuttle main engines. In Aerospace Conference, 2006 IEEE, pages 1-7, 2006.
2. T. Backx, O. Bosgra, and W. Marquardt. Integration of Model Predictive Control and Optimization of Processes. Technical report, The Chair of Process Systems Engineering, University of Aachen, 2000.
3. N. Borselius. Mobile agent security. Electronics & Communication Engineering Journal, 14(5):211-118, 2002.
4. J. V. Bradley. Distribution-Free Statistical Tests. Prentice Hall, 1968.
5. A. A. Cárdenas, S. Amin, Z.-S. Lin, Y.-L. Huang, C.-Y. Huang, and S. Sastry. Attacks against process control systems: risk assessment, detection, and response. In ASIACCS'11, pages 355-366, 2011.
6. J. J. Downs and E. F. Vogel. A plant-wide industrial process control problem. Computers & Chemical Engineering, 17(3):245-255, 1993.
7. Karupis Lab. METIS-Serial Graph Partitioning and Fill-Reducing Matrix Ordering. http://glaros.dtc.umn.edu/gkhome/views/metis. retrieved: July, 2014.
8. G. Karypis and V. Kumar. Multilevel graph partitioning schemes. In The 24th International Conference on Parallel Processing, pages 113-122, 1995.
9. G. Karypis and V. Kumar. A fast and high quality multilevel scheme for partitioning irregular graphs. SIAM Journal on Scientific Computing, 20(1):359-392, 1998.
10. G. Karypis and V. Kumar. Multilevel k-way partitioning scheme for irregular graphs. Journal of Parallel and Distributed Computing, 48:96-129, 1998.
11. R. Langner. To kill a centrifuge. Technical report, Langner Communications, 2013.
12. T. Larsson, K. Hestetun, E. Hovland, and S. Skogestad. Self-optimizing control of a large-scale plant: The Tennessee Eastmann process. Ind. Eng. Chem. Res., 40(22):4488-4901, 2001.
13. O. Linda, M. Manic, and M. McQueen. Improving Control System Cyber-State Awareness Using Known Secure Sensor Measurements. In Critical Information Infrastructures Security, volume 7722 of LNCS, pages 46-58. 2013.
14. T. R. McEvoy and S. D. Wolthusen. Detecting Sensor Signal Manipulations in Non-Linear Chemical Processes. In Critical Infrastructure Protection IV, pages 81-94, 2010.
15. C. McIntyre. Using Smart Instrumentation. Plant Engineering: online magazine, 2011. http://www.controleng.com/single-article/using-smart-instrumentation/a0ec350155bb86c8f65377ba66e59df8.html.
16. L. Neitzel and B. Huba. Top ten diérences between ICS and IT cybersecurity. InTech, 61(3):12-18, 2014.
17. W. H. Press, B. P. Flannery, S. A. Teukolsky, and W. T. Vetterling. Numerical Recipes in FORTRAN: The Art of Scientific Computing, . Cambridge University Press, 1992.
18. N. L. Ricker. Tennessee Eastman Challenge Archive. http://depts.washington.edu/control/LARRY/TE/download.html. retrieved: May, 2013.
19. C. E. Shannon and W. Weaver. The Mathematical Theory of Communications. University of Illinois Press, 1949.
20. U.S. Chemical Safety and Hazard Investigation Board. BP America Re finery Explosion: Final Investigation Report. 2007.
21. A. Vodencarevic, H. Kleine Buning, O. Niggemann, and A. Maier. Identifying behavior models for process plants. In Emerging Technologies Factory Automation, 2011 IEEE 16th Conference on, pages 1-8, 2011.
22. Y. Wang, Z. Xu, J. Zhang, L. Xu, H. Wang, and G. Gu. SRID: State Relation Based Intrusion Detection for False Data Injection Attacks in SCADA. In Computer Security-ESORICS 2014, volume 8713 of LNCS, pages 401-418. 2014.