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

• aomsec-preprint1.pdf · application/pdf · 949 kbytes
• http://dx.doi.org/10.1145/2593069.2593095

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