Time-based intrusion detection in cyber-physical systems

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10

Volumn , Issue , 2010, Pages 109-118

  Zimmer, Christopher ^a   Bhat, Balasubramanya ^a   Mueller, Frank ^a   Mohan, Sibin ^b  

^a North Carolina State University   (United States)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

cyber physical systems; real time systems; security; timing analysis

Indexed keywords

APPLICATION CODES; CODE SECTIONS; CRITICAL INFRASTRUCTURE; CRITICAL ISSUES; CYBER-PHYSICAL SYSTEMS; GRANULARITY LEVELS; OPERATING SYSTEMS; PHYSICAL WORLD; REAL-TIME EMBEDDED SYSTEMS; SCHEDULABILITY ANALYSIS; SELF CHECKING; STATIC TIMING ANALYSIS; TEMPORAL CONSTRAINTS; TIMING ANALYSIS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; HEALTH CARE; INTRUSION DETECTION; TIME MEASUREMENT;

REAL TIME SYSTEMS;

EID: 77954606031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1795194.1795210     Document Type: Conference Paper

References (32)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers - Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. G. Bernat, A. Colin, and S. Petters. Wcet analysis of probabilistic hard real-time systems. In IEEE Real-Time Systems Symposium, Dec. 2002.
3. V. Braberman, M. Felder, and M. Marre. Testing timing behavior of real-time software. International Software Quality Week, May 1997.
4. D. Burger, T. Austin, and S. Bennett. Evaluating future microprocessors: The simplescalar toolset. Technical Report CS-TR-96-1308, University of Wisconsin - Madison, CS Dept., July 1996.
5. C-Lab. Wcet benchmarks. Available from http://www.c-lab.de/home/en/ download.html.
6. C. Cowan, S. Beattie, J. Johansen, and P.Wagle. Pointguardtm: protecting pointers from buffer overflow vulnerabilities. In SSYM'03: Proceedings of the 12th conference on USENIX Security Symposium, pages 7-7, 2003.
7. C. A. Healy, R. D. Arnold, F. Mueller, D. Whalley, and M. G. Harmon. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers, 48(1):53-70, Jan. 1999.
8. G. S. Kc, A. D. Keromytis, and V. Prevelakis. Countering code-injection attacks with instruction-set randomization. In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security, pages 272-280, 2003.
9. B. Kuperman, C. Brodley, H. Ozdoganoglu, T. Vijaykumar, and A. Jalote. Detection and prevention of stack buffer overflow attacks. Commun. ACM, 48(11):50-56, 2005.
10. J. Labrosse. Micro C/OS-II. R & D Books, 1998.
11. A. Lauf, R. Peters, and W. Robinson. Intelligent intrusion detection: A behavior-based approach. In 21st Advanced Information Networking and Applications: Symposium for Embedded Computing, 2007.
12. E. Levy. Crossover: Online pests plaguing the offline world. IEEE Security and Privacy, 1(6):71-73, 2003.
13. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. of the Association for Computing Machinery, 20(1):46-61, Jan. 1973.
14. S. Mohan and F. Mueller. Preserving timing anomalies in pipelines of high-end processors. Technical Report TR 2007-13, Dept. of Computer Science, North Carolina State University, 2008.
15. S. Mohan, F. Mueller, W. Hawkins, M. Root, C. Healy, and D. Whalley. Parascale: Expoliting parametric timing analysis for real-time schedulers and dynamic voltage scaling. In IEEE Real-Time Systems Symposium, pages 233-242, Dec. 2005.
16. S. Mohan, F. Mueller, D. Whalley, and C. Healy. Timing analysis for sensor network nodes of the atmega processor family. In IEEE Real-Time Embedded Technology and Applications Symposium, pages 405-414, Mar. 2005.
17. A. Moses. 'sinister' integral energy virus outbreak a threat to power grid, Oct. 2009.
18. F. Mueller. Timing analysis for instruction caches. Real-Time Systems, 18(2/3):209-239, May 2000.
19. S. Ravi, A. Raghunathan, P. Kocher, and S. Hattangady. Security in embedded systems: Design challenges. ACM Trans. Embed. Comput. Syst., 3(3):461-491, 2004.
20. A. Seshadri, A. Perrig, L. van Doorn, and P. Khosla. Swatt: Software-based attestation for embedded devices. Security and Privacy, IEEE Symposium on, 0:272, 2004.
21. H. Shacham, M. Page, B. Pfaff, E.-J. Goh-Jin, N. Modadugu, and D. Boneh. On the effectiveness of address-space randomization. In CCS '04: Proceedings of the 11th ACM conference on Computer and communications security, pages 298-307, 2004.
22. Z. Shao, Q. Zhuge, Y. He, and E. H. M. Sha. Defending embedded systems against buffer overflow via hardware/software. In ACSAC '03: Proceedings of the 19th Annual Computer Security Applications Conference, page 352, Washington, DC, USA, 2003. IEEE Computer Society.
23. S. H. Son, R. Mukkamala, and R. David. Integrating security and real-time requirements using covert channel capacity. IEEE Transactions on Knowledge and Data Engineering, 12:865-879, 2000.
24. R. Venugopalan, P. Ganesan, P. Peddabachagari, A. Dean, F. Mueller, and M. Sichitiu. Encryption overhead for sensor networks and embedded systems: Modeling and analysis. In Conference on Compilers, Architecture and Synthesis for Embedded Systems, pages 188-197, Oct. 2003.
25. J. Wegener and F. Mueller. A comparison of static analysis and evolutionary testing for the verification of timing constraints. Real-Time Systems, 21(3):241-268, Nov. 2001.
26. J. Whitham. Real-time Processor Architectures for Worst Case Execution Time Reduction. PhD thesis, University of York, May 2008.
27. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenstrom. The worst-case execution time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems, 7(3):1-53, Apr. 2008.
28. B. Wu, J. Chen, J. Wu, and M. Cardei. A survey of attacks and countermeasures in mobile ad hoc networks. Wireless Network Security, 30(3):103-135, 2007.
29. T. Xie, X. Qin, and M. Lin. Open issues and challenges in security-aware real-time scheduling for distributed systems. Journal of Information, 6(9), 2006.
30. L. Zhang and G. B. White. Analysis of payload based application level network anomaly detection. In HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences, page 99, 2007.
31. Y. Zhang and W. Lee. Intrusion detection in wireless ad-hoc networks. In MobiCom '00: Proceedings of the 6th annual international conference on Mobile computing and networking, pages 275-283, 2000.
32. Y. Zhang, W. Lee, and Y.-A. Huang. Intrusion detection techniques for mobile wireless networks. Wireless Networking, 9(5):545-556, 2003.