Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems

IEEE Embedded Systems Letters

Volumn 7, Issue 1, 2015, Pages 11-14

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

^a UNIVERSITY OF CALIFORNIA   (United States)

^b University of California Riverside   (United States)

Author keywords

Automotive systems; cyber physical systems; design space exploration; embedded systems; security

Indexed keywords

AUTOMOBILE ELECTRONIC EQUIPMENT; COMPLEX NETWORKS; CONTROL SYSTEM SYNTHESIS; DISTRIBUTED PARAMETER CONTROL SYSTEMS; HEURISTIC ALGORITHMS; INTEGER PROGRAMMING; MAPPING; MOBILE SECURITY; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

AUTOMOTIVE ELECTRONIC SYSTEMS; AUTOMOTIVE SYSTEMS; COMPUTATION COMPLEXITY; CONTROLLER AREA NETWORK; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN SPACE EXPLORATION; MIXED-INTEGER LINEAR PROGRAMMING; SECURITY;

EMBEDDED SYSTEMS;

EID: 84924412098     PISSN: 19430663     EISSN: None     Source Type: Journal    
DOI: 10.1109/LES.2014.2354011     Document Type: Article

References (13)

1. Bosch, "CAN Specification, version 2.0," 1991.
2. Bosch, "CAN with Flexible Data-Rate White Paper, version 1.1," 2011.
3. 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," presented at the USENIX Conf. Security, 2011.
4. B. Groza, S. Murvay, A. Van Herrewege, and I. Verbauwhede, "LiBrACAN: A lightweight broadcast authentication protocol for Controller Area Networks," in Proc. Int. Conf. Cryptology Netw. Security, 2012, pp. 185-200.
5. T. Hoppe, S. Kiltz, and J. Dittmann, "Security threats to automotive CAN networks - practical examples and selected short-term counter-measures," in Proc. Int. Conf. Computer Safety, Rel., Security, 2008, pp. 11-25.
6. P. Kleberger, T. Olovsson, and E. Jonsson, "Security aspects of the in-vehicle network in the connected car," in Proc. IEEE Intell. Veh. Symp., 2011, pp. 528-533.
7. 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," in Proc. IEEE Symp. Security Privacy, 2010, pp. 447-462.
8. F. Koushanfar, A. Sadeghi, and H. Seudie, "EDA for secure and dependable cybercars: Challenges and opportunities," in Proc. ACM/IEEE Design Autom. Conf., 2012, pp. 220-228.
9. C.-W. Lin and A. Sangiovanni-Vincentelli, "Cyber-security for the Controller Area Network (CAN) communication protocol," in Proc. ASE Int. Conf. Cyber Security, 2012, pp. 344-350.
10. C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli, "Security-aware mapping for CAN-based real-time distributed automotive systems," in Proc. IEEE/ACM Int. Conf. Computer-Aided Design, 2013, pp. 115-121.
11. 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," presented at the USENIX Conf. Security, 2010.
12. 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.
13. M. Wolf, A. Weimerskirch, and C. Paar, "Security in automotive bus systems," Workshop on Embedded Security in Cars 2004.