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". 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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.