*banner
 

Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems
Armin Wasicek, Patricia Derler, Edward A. Lee

Citation
Armin Wasicek, Patricia Derler, Edward A. Lee. "Aspect-oriented Modeling of Attacks in Automotive Cyber-Physical Systems". Proceedings of the 51st Design Automation Conference (DAC), June, 2014.

Abstract
This paper introduces aspect-oriented modeling (AOM) as a powerful, model-based design technique to assess the security of Cyber-Physical Systems (CPS). Particularly in safety- critical CPS such as automotive control systems, the protection against malicious design and interaction faults is paramount to guaranteeing correctness and reliable operation. Essentially, attack models are associated with the CPS in an aspect-oriented manner to evaluate the system under attack. This modeling technique requires minimal changes to the model of the CPS. Using application-specific metrics, the designer can gain insights into the behavior of the CPS under attack.

Electronic downloads

Citation formats  
  • HTML
    Armin Wasicek, Patricia Derler, Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/1064.html"
    >Aspect-oriented Modeling of Attacks in Automotive
    Cyber-Physical Systems</a>, Proceedings of the 51st
    Design Automation Conference (DAC), June, 2014.
  • Plain text
    Armin Wasicek, Patricia Derler, Edward A. Lee.
    "Aspect-oriented Modeling of Attacks in Automotive
    Cyber-Physical Systems". Proceedings of the 51st Design
    Automation Conference (DAC), June, 2014.
  • BibTeX
    @inproceedings{WasicekDerlerLee14_AspectorientedModelingOfAttacksInAutomotiveCyberPhysical,
        author = {Armin Wasicek and Patricia Derler and Edward A. Lee},
        title = {Aspect-oriented Modeling of Attacks in Automotive
                  Cyber-Physical Systems},
        booktitle = {Proceedings of the 51st Design Automation
                  Conference (DAC)},
        month = {June},
        year = {2014},
        abstract = {This paper introduces aspect-oriented modeling
                  (AOM) as a powerful, model-based design technique
                  to assess the security of Cyber-Physical Systems
                  (CPS). Particularly in safety- critical CPS such
                  as automotive control systems, the protection
                  against malicious design and interaction faults is
                  paramount to guaranteeing correctness and reliable
                  operation. Essentially, attack models are
                  associated with the CPS in an aspect-oriented
                  manner to evaluate the system under attack. This
                  modeling technique requires minimal changes to the
                  model of the CPS. Using application-specific
                  metrics, the designer can gain insights into the
                  behavior of the CPS under attack.},
        URL = {http://chess.eecs.berkeley.edu/pubs/1064.html}
    }
    

Posted by Armin Wasicek on 28 Mar 2014.
Groups: actionwebs chess ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

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.

©2002-2018 Chess