Security-aware obfuscated priority assignment for automotive CAN platforms

ACM Transactions on Design Automation of Electronic Systems

Volumn 21, Issue 2, 2016, Pages

  Lukasiewycz, Martin ^a   Mundhenk, Philipp ^a   Steinhorst, Sebastian ^a  

^a TUM CREATE   (Singapore)

Author keywords

Automotive; CAN; Priority assignment; Security

Indexed keywords

CONTROL SYSTEM SYNTHESIS; FLEET OPERATIONS; QUADRATIC PROGRAMMING; VEHICLES;

AUTOMOTIVE; CONTROLLER AREA NETWORK; IN-VEHICLE COMMUNICATION; IN-VEHICLE NETWORKS; PRIORITY ASSIGNMENT; QUADRATICALLY-CONSTRAINED QUADRATIC PROGRAMS; RANDOMIZED SAMPLING; SECURITY;

NETWORK SECURITY;

EID: 84957099911     PISSN: 10844309     EISSN: 15577309     Source Type: Journal    
DOI: 10.1145/2831232     Document Type: Article

References (39)

1. AUTOSAR GbR. 2014. Specification of RTE, Version 4.2.1. (2014). http://www.autosar.org/.
2. L. L. Bello. 2011. The case for ethernet in automotive communications. ACM SIGBED Rev. 8, 4 (2011), 7-15. DOI:http://dx.doi.org/10.1145/2095256.2095257
3. Bosch. 1991. Controller area network, Version 2.0b. (1991). http://www.can.bosch.com/.
4. P. Caliebe, C. Lauer, and R. German. 2011. Flexible integration testing of automotive ECUs by combining AUTOSAR and XCP. In Proceedings of the International Conference on Computer Applications and Industrial Electronics (ICCAIE'11). 67-72. DOI:http://dx.doi.org/10.1109/ICCAIE.2011.6162106
5. S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, K. Koscher, A. Czeskis, F. Roesner, and T. Kohno. 2011. Comprehensive experimental analyses of automotive attack surfaces. In Proceedings of the 20th USENIX Conference on Security (USENIX'11).
6. A. Davare, Q. Zhu, M. Di Natale, C. Pinello, S. Kanajan, and A. Sangiovanni-Vincentelli. 2007. Period optimization for hard real-time distributed automotive systems. In Proceedings of the 44th Design Automation Conference (DAC'07). 278-283. DOI:http://dx.doi.org/10.1145/1278480.1278553
7. R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien. 2007. Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Syst. 35, 3 (2007), 239-272. DOI:http://dx.doi.org/10. 1007/s11241-007-9012-7
8. M. Di Natale and A. Sangiovanni-Vincentelli. 2010. Moving from federated to integrated architectures in automotive: The role of standards, methods and tools. Proc. IEEE 98, 4 (2010), 603-620. DOI:http: //dx.doi.org/10.1109/JPROC.2009.2039550
9. M. Di Natale and H. Zeng. 2010. System identification and extraction of timing properties from controller area network (CAN) message traces. In Proceedings of the Conference on Emerging Technologies and Factory Automation (ETFA). 1-8. DOI:http://dx.doi.org/10.1109/ETFA.2010.5641332
10. FlexRay Consortium. 2005. FlexRay communications systems-Protocol specification Version 2.1 Rev. A. (2005). http://www.flexray.com.
11. Gurobi Optimization, Inc. 2015. Gurobi optimizer reference manual. (2015). http://www.gurobi.com.
12. A. Hamann, M. Jersak, K. Richter, and R. Ernst. 2004. Design space exploration and system optimization with SymTA/S-Symbolic timing analysis for systems. In Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS'04). 469-478. DOI:http://dx.doi.org/10.1109/REAL.2004.17
13. G. Han, H. Zeng, Y. Li, and W. Dou. 2014. SAFE: Security-aware FlexRay scheduling engine. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'14). 1-4. DOI:http://dx.doi.org/10. 7873/DATE2014.021
14. John Harding, Gregory Powell, Rebecca Yoon, Joshua Fikentscher, Charlene Doyle, Dana Sade,Mike Lukuc, Jim Simons, and Jing Wang. 2014. Vehicle-to-vehicle Communications: Readiness of V2V Technology for Application. Technical Report. DOT HS 812 014. V. S. Department of Transportation, National Highway Traffic Safety Administration. http://www.nhtsa.gov.
15. F. Hartwich. 2012. CAN with flexible data-rate. In Proceedings of the 13th International CAN Conference (iCC'12). 10-19.
16. M. Joseph and P. Pandya. 1986. Finding response times in a real-time system. Comput. J. 29, 5 (1986), 390-395. DOI:http://dx.doi.org/10.1093/comjnl/29.5.390
17. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. 2010. Experimental security analysis of a modern automobile. In Proceeding of the IEEE Symposium on Security and Privacy (SP). 447-462. DOI:http://dx.doi.org/10.1109/SP.2010.34
18. J. Lehoczky. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of the 11th International IEEE Real-Time Systems Symposium (RTSS'90). 201-209. DOI:http://dx.doi.org/ 10.1109/REAL.1990.128748
19. C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli. 2013. Security-aware mapping for CAN-based real-time distributed automotive systems. In Proceedings of the International Conference on Computer-Aided Design (ICCAD'13). 115-121. DOI:http://dx.doi.org/10.1109/ICCAD.2013.6691106
20. C.-W. Lin, Q. Zhu, and A Sangiovanni-Vincentelli. 2014. Security-aware modeling and efficient mapping for CAN-based real-time distributed automotive systems. IEEE Embed. Syst. Lett. PP, 99 (2014). DOI:http: //dx.doi.org/10.1109/LES.2014.2354011
21. B. Lisper and P. Mellgren. 2001. Response-time calculation and priority assignment with integer programming methods. In Proceedings of the Work-in-Progress and Industrial Sessions at the 13th Euromicro Conference on Real-Time Systems (ECRTS'01). 13-16.
22. M. Lukasiewycz, S. Steinhorst, and S. Chakraborty. 2013. Priority assignment for event-triggered systems using mathematical programming. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'13). 982-987. DOI:http://dx.doi.org/10.7873/DATE.2013.205
23. S. Matic and T. Henzinger. 2005. Trading end-to-end latency for composability. In Proceedings of the 26th International IEEE Real-Time Systems Symposium (RTSS'05). 99-110. DOI:http://dx.doi.org/10.1109/ RTSS.2005.43
24. A. Metzner and C. Herde. 2006. Rtsat-An optimal and efficient approach to the task allocation problem in distributed architectures. In Proceedings of the 27th International IEEE Real-Time Systems Symposium (RTSS'06). 147-158. DOI:http://dx.doi.org/10.1109/RTSS.2006.44
25. C. Miller and C. Valasek. 2013. Adventures in automotive networks and control units. In Proceedings of DEF CON.
26. C. Miller and C. Valasek. 2014. A survey of remote automotive attack surfaces. In Proceedings of Black Hat.
27. P. Mundhenk, S. Steinhorst, M. Lukasiewycz, S. A. Fahmy, and S. Chakraborty. 2015. Lightweight authentication for secure automotive networks. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'15).
28. F. Reimann, M. Glaß, C. Haubelt, M. Eberl, and J. Teich. 2010. Improving platform-based system synthesis by satisfiability modulo theories solving. In Proceedings of the 8th International Conference on Hardware/ Software Codesign and System Synthesis (CODES+ISSS). 135-144. DOI:http://dx.doi.org/10.1145/ 1878961.1878986
29. F. Reimann, M. Lukasiewycz, M. Glass, C. Haubelt, and J. Teich. 2011. Symbolic system synthesis in the presence of stringent real-time constraints. In Proceedings of the 48th Design Automation Conference (DAC'11). 393-398. DOI:http://dx.doi.org/10.1145/2024724.2024817
30. F. Sagstetter, M. Lukasiewycz, S. Steinhorst, M. Wolf, A. Bouard, W. R. Harris, S. Jha, T. Peyrin, A. Poschmann, and S. Chakraborty. 2013. Security challenges in automotive hardware/software architecture design. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'13). 458-463. DOI:http://dx.doi.org/10.7873/DATE.2013.102
31. H. Shacham, M. Page, B. Pfaff, E. Goh, N. Modadugu, and D. Boneh. 2004. On the effectiveness of addressspace randomization. In Proceedings of the 11th ACM Conference on Computer and Communications Security (CCS'04). 298-307. DOI:http://dx.doi.org/10.1145/1030083.1030124
32. Lance Spitzner. 2003. Honeypots: Tracking Hackers. Vol. 1. Addison-Wesley Reading.
33. K. Tindell, A. Burns, and A. Wellings. 1995. Calculating controller area network (CAN) message response times. Control Eng. Practice 3, 8 (1995), 1163-1169. DOI:http://dx.doi.org/10.1016/0967-0661(95)00112-8
34. Ken Tindell and Hans Hansson. 1995. Real Time Systems by Fixed Priority Scheduling. Technical Report. Department of Computer Systems-Uppsala University.
35. B. Wilhelm. 1997. Platform and modular concepts at Volkswagen-their effects on the assembly process. In Transforming Automobile Assembly. Springer, 146-156. DOI:http://dx.doi.org/10.1007/ 978-3-642-60374-7 12
36. S. Woo, H. J. Jo, and D. H. Lee. 2014. A practical wireless attack on the connected car and security protocol for in-vehicle CAN. IEEE Trans. Intell. Transport. Syst. PP, 99 (2014), 1-14. DOI:http://dx.doi.org/10. 1109/TITS.2014.2351612
37. R. Zalman and A. Mayer. 2014. A secure but still safe and low cost automotive communication technique. In Proceedings of the 51st Design Automation Conference (DAC'14). 1-5. DOI:http://dx.doi.org/10.1145/ 2593069.2603850
38. W. Zheng, M. Di Natale, C. Pinello, P. Giusto, and A. Sangiovanni-Vincentelli. 2007. Synthesis of task and message activation models in real-time distributed automotive systems. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE'07). 93-98. DOI:http://dx.doi.org/10.1109/DATE.2007. 364573
39. Q. Zhu, H. Zeng, W. Zheng, M. Di Natale, and A. Sangiovanni-Vincentelli. 2012. Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. (TECS) 11, 4 (2012), 85. DOI:http://dx.doi.org/10.1145/2362336.2362352