Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems
Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli

Citation
Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli. "Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems". Talk or presentation, 5, November, 2013; Poster presented at the 2013 TerraSwarm Annual Meeting.

Abstract
Cyber-security is a rising issue for automotive electronic systems, and it is critical to system safety and dependability. Current in-vehicles architectures, such as those based on the Controller Area Network (CAN), do not provide direct support for secure communications. When retrofitting these architectures with security mechanisms, a major challenge is to ensure that system safety will not be hindered, given the limited computation and communication resources. We apply Message Authentication Codes (MACs) to protect against masquerade and replay attacks on CAN networks, and propose an optimal Mixed Integer Linear Programming (MILP) formulation for solving the mapping problem from a functional model to the CAN-based platform while meeting both the security and the safety requirements. We also develop an efficient heuristic for the mapping problem under security and safety constraints. To the best of our knowledge, this is the first work to address security and safety in an integrated formulation in the design automation of automotive electronic systems. Experimental results of an industrial case study show the effectiveness of our approach.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/157.html"><i>Security-Aware
  Mapping for CAN-Based Real-Time Distributed Automotive
  Systems</i></a>, Talk or presentation,  5,
  November, 2013; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• Plain text

  Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto
  Sangiovanni-Vincentelli. "Security-Aware Mapping for
  CAN-Based Real-Time Distributed Automotive Systems".
  Talk or presentation,  5, November, 2013; Poster presented
  at the <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{LinZhuPhungSangiovanniVincentelli13_SecurityAwareMappingForCANBasedRealTimeDistributed,
      author = {Chung-Wei Lin and Qi Zhu and Calvin Phung and
                Alberto Sangiovanni-Vincentelli},
      title = {Security-Aware Mapping for CAN-Based Real-Time
                Distributed Automotive Systems},
      day = {5},
      month = {November},
      year = {2013},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/13/annual"
                >2013 TerraSwarm Annual Meeting</a>.},
      abstract = {Cyber-security is a rising issue for automotive
                electronic systems, and it is critical to system
                safety and dependability. Current in-vehicles
                architectures, such as those based on the
                Controller Area Network (CAN), do not provide
                direct support for secure communications. When
                retrofitting these architectures with security
                mechanisms, a major challenge is to ensure that
                system safety will not be hindered, given the
                limited computation and communication resources.
                We apply Message Authentication Codes (MACs) to
                protect against masquerade and replay attacks on
                CAN networks, and propose an optimal Mixed Integer
                Linear Programming (MILP) formulation for solving
                the mapping problem from a functional model to the
                CAN-based platform while meeting both the security
                and the safety requirements. We also develop an
                efficient heuristic for the mapping problem under
                security and safety constraints. To the best of
                our knowledge, this is the first work to address
                security and safety in an integrated formulation
                in the design automation of automotive electronic
                systems. Experimental results of an industrial
                case study show the effectiveness of our approach.},
      URL = {http://terraswarm.org/pubs/157.html}
  }
  

Posted by Chung-Wei Lin on 1 Nov 2013.