Citation
Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto Sangiovanni-Vincentelli. "Security-Aware Mapping for CAN-Based Real-Time Distributed Automotive Systems". International Conference on Computer-Aided Design, 18, November, 2013.

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. Message Authentication Codes (MACs) are applied to protect against masquerade and replay attacks on CAN networks, and an optimal Mixed Integer Linear Programming (MILP) formulation is proposed for solving the mapping problem from a functional model to the CAN-based platform while meeting both the security and the safety requirements. Also developed is an efficient heuristic for the mapping problem under security and safety constraints. Evidently, 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 this approach.

Electronic downloads

• http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6691106
• ICCAD13.pdf · application/pdf · 227 kbytes. ("Camera ready" version)
• http://escholarship.org/uc/item/2h01v7x5. (link to eScholarship site)

• HTML

  Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/92.html"
  >Security-Aware Mapping for CAN-Based Real-Time
  Distributed Automotive Systems</a>, International
  Conference on Computer-Aided Design, 18, November, 2013.

• Plain text

  Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto
  Sangiovanni-Vincentelli. "Security-Aware Mapping for
  CAN-Based Real-Time Distributed Automotive Systems".
  International Conference on Computer-Aided Design, 18,
  November, 2013.

• BibTeX

  @inproceedings{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},
      booktitle = {International Conference on Computer-Aided Design},
      day = {18},
      month = {November},
      year = {2013},
      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.
                Message Authentication Codes (MACs) are applied to
                protect against masquerade and replay attacks on
                CAN networks, and an optimal Mixed Integer Linear
                Programming (MILP) formulation is proposed for
                solving the mapping problem from a functional
                model to the CAN-based platform while meeting both
                the security and the safety requirements. Also
                developed is an efficient heuristic for the
                mapping problem under security and safety
                constraints. Evidently, 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
                this approach. },
      URL = {http://terraswarm.org/pubs/92.html}
  }
  

Posted by Mila MacBain on 13 Aug 2013.