Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems

Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018

Volumn , Issue , 2018, Pages 10-21

  Abdi, Fardin ^a   Chen, Chien Ying ^a   Hasan, Monowar ^a   Liu, Songran ^b   Mohan, Sibin ^a   Caccamo, Marco ^a  

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

^b NORTHEASTERN UNIVERSITY   (China)

Author keywords

Control; Cyber Physical Systems; Guaranteed Security; Security

Indexed keywords

CONTROL ENGINEERING; CYBER PHYSICAL SYSTEM; DEGREES OF FREEDOM (MECHANICS);

3 DEGREE OF FREEDOM (3-DOF); CYBER-PHYSICAL SYSTEM (CPS); GUARANTEED SECURITY; OPERATIONAL WINDOWS; PHYSICAL SECURITY; SAFETY REQUIREMENTS; SECURITY; TEMPERATURE CONTROL UNIT;

EMBEDDED SYSTEMS;

EID: 85053531575     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCPS.2018.00010     Document Type: Conference Paper

References (41)

1. FreeRTOS. http://www.freertos.org, 2016. Accessed: Sep. 2016.
2. https://github.com/emsoft2017restart/restart-based-framework-demo, 2017.
3. F. Abdi, M. Hasan, S. Mohan, D. Agarwal, M. Caccamo. ReSecure: A restart-based security protocol for tightly actuated hard real-time systems. In IEEE CERTS, pages 47-54, 2016.
4. F. Abdi, R. Mancuso, S. Bak, O. Dantsker, M. Caccamo. Reset-based recovery for real-time cyber-physical systems with temporal safety constraints. In IEEE 21st Conference on Emerging Technologies Factory Automation (ETFA 2016), 2016.
5. F. Abdi, R. Tabish, M. Rungger, M. Zamani, M. Caccamo. Application and system-level software fault tolerance through full system restarts. In Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS '17, pages 197-206, New York, NY, USA, 2017. ACM.
6. M. Arroyo, H. Kobayashi, S. Sethumadhavan, J. Yang. FIRED: Frequent inertial resets with diversification for emerging commodity cyber-physical systems. CoRR, abs/1702.06595, 2017.
7. AVNET. Zedboard hardware user's guide. http://zedboard.org/sites/default/files/documentations/ZedBoard HW UG v2 2.pdf. Accessed: Apr. 2017.
8. S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, L. Sha. The system-level simplex architecture for improved real-time embedded system safety. In Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009. 15th IEEE, pages 99-107. IEEE, 2009.
9. S. Bak, T. T. Johnson, M. Caccamo, L. Sha. Real-time reachability for verified simplex design. In Real-Time Systems Symposium (RTSS), 2014 IEEE, pages 138-148. IEEE, 2014.
10. S. Bak, K. Manamcheri, S. Mitra, M. Caccamo. Sandboxing controllers for cyber-physical systems. In Proceedings of the 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, ICCPS '11, pages 3-12, Washington, DC, USA, 2011. IEEE Computer Society.
11. E. G. Barrantes, D. H. Ackley, S. Forrest, D. Stefanovíc. Randomized instruction set emulation. ACM Trans. Inf. Syst. Secur., 8(1):3-40, Feb. 2005.
12. E. D. Berger and B. G. Zorn. Diehard: Probabilistic memory safety for unsafe languages. In Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '06, pages 158-168, New York, NY, USA, 2006. ACM.
13. G. Candea and A. Fox. Recursive restartability: Turning the reboot sledgehammer into a scalpel. In Hot Topics in Operating Systems, 2001. Proceedings of the Eighth Workshop on, pages 125-130. IEEE, 2001.
14. G. Candea and A. Fox. Crash-only software. In HotOS IX: The 9th Workshop on Hot Topics in Operating Systems, pages 67-72, 2003.
15. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, A. Fox. Microreboota technique for cheap recovery. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation-Volume 6, OSDI'04, pages 31-44, 2004.
16. G. Candea, E. Kiciman, S. Zhang, P. Keyani, A. Fox. Jagr: An autonomous self-recovering application server. In Autonomic Computing Workshop. 2003. Proceedings of the, pages 168-177. IEEE, 2003.
17. M. Castro and B. Liskov. Practical byzantine fault tolerance and proactive recovery. ACM Trans. Comput. Syst., 20(4):398-461, Nov. 2002.
18. M. Chew and D. Song. Mitigating buffer overflows by operating system randomization. Technical report, School of Computer Science, Carnegie Mellon University, 2002.
19. D. Cotroneo, R. Natella, R. Pietrantuono, S. Russo. A survey of software aging and rejuvenation studies. J. Emerg. Technol. Comput. Syst., 10(1):8:1-8:34, Jan. 2014.
20. S. Forrest, A. Somayaji, D. H. Ackley. Building diverse computer systems. In Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133), pages 67-72, May 1997.
21. S. Garg, A. Puliafito, M. Telek, K. S. Trivedi. Analysis of software rejuvenation using markov regenerative stochastic petri net. In Software Reliability Engineering, 1995. Proceedings., Sixth International Symposium on, pages 180-187. IEEE, 1995.
22. M. Grottke, R. Matias, K. S. Trivedi. The fundamentals of software aging. In 2008 IEEE International Conference on Software Reliability Engineering Workshops (ISSRE Wksp), pages 1-6, Nov 2008.
23. D. Halperin, T. S. Heydt-Benjamin, B. Ransford, S. S. Clark, B. Defend, W. Morgan, K. Fu, T. Kohno, W. H. Maisel. Pacemakers and implantable cardiac defibrillators: Software radio attacks and zero-power defenses. In 2008 IEEE Symposium on Security and Privacy (sp 2008), pages 129-142, May 2008.
24. Y. Huang, C. Kintala, N. Kolettis, N. D. Fulton. Software rejuvenation: Analysis, module and applications. In Fault-Tolerant Computing, 1995. FTCS-25. Digest of Papers., Twenty-Fifth International Symposium on, pages 381-390. IEEE, 1995.
25. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, et al. Experimental security analysis of a modern automobile. In IEEE Symposium on Security and Privacy, pages 447-462. IEEE, 2010.
26. Make Linux. Super fast boot of embedded linux. http://www.makelinux.com/emb/fastboot/omap, 2017. Accessed: June 2017.
27. S. Mohan, S. Bak, E. Betti, H. Yun, L. Sha, M. Caccamo. S3a: Secure system simplex architecture for enhanced security and robustness of cyberphysical systems. In Proceedings of the 2nd ACM international conference on High confidence networked systems, pages 65-74. ACM, 2013.
28. Quanser Inc. 3-DOF helicopter reference manual. Document Number 644, Revision 2.1.
29. Quanser Inc. Research papers related to quanser inc. http://www.quanser.com/research papers/Sort=Year-DESC. Accessed: June 2017.
30. Quanser Inc. Q8 data acquisition board. http://www.quanser.com/products/q8, 2016. Accessed: September 2016.
31. D. Seto, E. Ferreira, T. F. Marz. Case study: Development of a baseline controller for automatic landing of an f-16 aircraft using linear matrix inequalities (lmis). Technical report, DTIC Document, 2000.
32. D. Seto and L. Sha. A case study on analytical analysis of the inverted pendulum real-time control system. Technical report, DTIC Document, 1999.
33. L. Sha. Using simplicity to control complexity. IEEE Software, 18(4):20-28, Jul 2001.
34. P. Sousa, A. N. Bessani, M. Correia, N. F. Neves, P. Verissimo. Highly available intrusion-tolerant services with proactive-reactive recovery. IEEE Transactions on Parallel and Distributed Systems, 21(4):452-465, April 2010.
35. P. Sousa, N. F. Neves, P. Veŕssimo. Proactive resilience through architectural hybridization. In Proceedings of the 2006 ACM Symposium on Applied Computing, SAC '06, pages 686-690, New York, NY, USA, 2006. ACM.
36. Texas Instruments. Msp-exp430g2 launchpad development kit. http://www.ti. com/lit/ug/slau318g/slau318g.pdf, 2016. Accessed: April 2017.
37. S. H. Trapnes. Optimal temperature control of rooms for minimum energy cost. Master's thesis, Institutt for kjemisk prosessteknologi, Norway, 2013.
38. K. Vaidyanathan and K. S. Trivedi. A comprehensive model for software rejuvenation. Dependable and Secure Computing, IEEE Transactions on, 2(2):124-137, 2005.
39. P. Veŕssimo. Future directions in distributed computing. chapter Uncertainty and Predictability: Can They Be Reconciled, pages 108-113. Springer-Verlag, Berlin, Heidelberg, 2003.
40. P. E. Veŕssimo, N. F. Neves, M. P. Correia. Intrusion-tolerant architectures: Concepts and design. In Architecting Dependable Systems, pages 3-36. Springer Berlin Heidelberg, 2003.
41. M.-K. Yoon, S. Mohan, C.-Y. Chen, L. Sha. TaskShuffler: A schedule randomization protocol for obfuscation against timing inference attacks in realtime systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 1-12. IEEE, 2016.