Security-aware mapping for CAN-based real-time distributed automotive systems

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

Volumn , Issue , 2013, Pages 115-121

  Lin, Chung Wei ^a   Zhu, Qi ^b   Phung, Calvin ^b   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE ELECTRONIC SYSTEMS; COMMUNICATION RESOURCES; CONTROLLER AREA NETWORK; INDUSTRIAL CASE STUDY; MESSAGE AUTHENTICATION CODES; MIXED-INTEGER LINEAR PROGRAMMING; SAFETY REQUIREMENTS; SECURE COMMUNICATIONS;

AUTOMOBILE ELECTRONIC EQUIPMENT; COMPUTER AIDED DESIGN; CONTROL SYSTEM SYNTHESIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; ELECTRONICS ENGINEERING; INDUSTRIAL APPLICATIONS; LINEAR PROGRAMMING; NETWORK ARCHITECTURE;

MAPPING;

EID: 84893388821     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCAD.2013.6691106     Document Type: Conference Paper

References (20)

1. Bosch, CAN Specification, version 2.0, 1991.
2. Bosch, CAN with Flexible Data-Rate White Paper, version 1.1, 2011.
3. L. Carloni, F. D. Bernardinis, C. Pinello, A. Sangiovanni-Vincentelli, and M. Sgroi, "Platform-based design for embedded systems", Embedded Systems Handbook. CRC Press, 2005.
4. S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, K. Koscher, A. Czeskis, F. Roesner, and T. Kohno, "Comprehensive experimental analyses of automotive attack surfaces", USENIX Conference on Security, 2011.
5. B. Groza, S. Murvay, A. Van Herrewege, and I. Verbauwhede "LiBrA-CAN: a lightweight broadcast authentication protocol for Controller Area Networks", International Conference on Cryptology and Network Security, pp. 185-200, 2012.
6. T. Hoppe, S. Kiltz, and J. Dittmann, "Security threats to automotive CAN networkspractical examples and selected short-term countermeasures", International Conference on Computer Safety, Reliability, and Security, pp. 11-25, 2008.
7. K. Keutzer, S. Malik, A. R. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli, "System level design: orthogonolization of concerns and platform-based design", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 12, pp. 1523-1543, 2000. (Pubitemid 32870317)
8. P. Kleberger, T. Olovsson, and E. Jonsson, "Security aspects of the in-vehicle network in the connected car", IEEE Intelligent Vehicles Symposium, pp. 528-533, 2011.
9. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage, "Experimental security analysis of a modern automobile", IEEE Symposium on Security and Privacy, pp. 447-462, 2010.
10. F. Koushanfar, A. Sadeghi, and H. Seudie, "EDA for secure and dependable cybercars: challenges and opportunities", ACM/IEEE Design Automation Conference, pp. 220-228, 2012.
11. C.-W. Lin and A. Sangiovanni-Vincentelli, "Cyber-security for the Controller Area Network (CAN) communication protocol", ASE International Conference on Cyber Security, pp. 344-350, 2012.
12. D. K. Nilsson, U. E. Larson, and E. Jonsson, "Efficient in-vehicle delayed data authentication based on compound message authentication codes", IEEE Vehicular Technology Conference, pp. 1-5, 2008.
13. OSEK/VDX, OS Specification, version 2.2.3, http://www.osek-vdx.org, 2006.
14. I. Rouf, R. Miller, H. Mustafa, T. Taylor, S. Oh, W. Xu, M. Gruteser, W. Trappe, and I. Seskar. "Security and privacy vulnerabilities of in-car wireless networks: a tire pressure monitoring system case study", USENIX Conference on Security, 2010.
15. A. Sangiovanni-Vincentelli, "Quo vadis, SLD? Reasoning about the trends and challenges of system level design", Proceedings of the IEEE, vol. 95, no. 3, pp. 467-506, 2007.
16. C. Szilagyi, "Low cost multicast network authentication for embedded control systems", Ph. D. thesis, Electrical and Computer Engineering Department, Carnegie Mellon University, 2012.
17. A. Van Herrewege, D. Singelee, and I. Verbauwhede, "CANAuth-a simple, backward compatible broadcast authentication protocol for CAN bus", Workshop on Embedded Security in Cars, 2011.
18. M. Wolf, A. Weimerskirch, and C. Paar, "Security in automotive bus systems", Workshop on Embedded Security in Cars, 2004.
19. Q. Zhu, Y. Yang, M. Di Natale, E. Scholte, and A. Sangiovanni- Vincentelli, "Optimizing the software architecture for extensibility in hard real-time distributed systems", IEEE Transactions on Industrial Informatics, vol. 6, no. 4, pp. 621-636, 2010.
20. T. Ziermann, S. Wildermann, and J. Teich, "CAN+: a new backward-compatible Controller Area Network (CAN) protocol with up to 16x higher data rates", ACM/IEEE Design Automation and Test in Europe, pp. 1088-1093, 2009.