Aspect-oriented modeling of attacks in automotive cyber-physical systems

Proceedings - Design Automation Conference

Volumn , Issue , 2014, Pages

  Wasicek, Armin ^a   Derler, Patricia ^a   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Aspect orientedModeling; Cyber Physical Systems; Security

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS;

ASPECT-ORIENTED; ASPECT-ORIENTEDMODELING; AUTOMOTIVE CONTROL SYSTEMS; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); MODEL-BASED DESIGN; MODELING TECHNIQUE; SECURITY;

MODELS;

EID: 84903220294     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2593069.2593095     Document Type: Conference Paper

References (23)

1. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11-33, January 2004.
2. T. J. Barlow, S. Latham, I. S. McCrae, and P. G. Boulter. A reference book of driving cycles for use in the measurement of road vehicle emissions. Published Project Report PPR354, TRL Limited, June 2009.
3. M. Broy, M. Feilkas, M. Herrmannsdoerfer, S. Merenda, and D. Ratiu. Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proceedings of the IEEE, 98(4):526-545, 2010.
4. A. A. Cfiardenas, S. Amin, Z.-S. Lin, Y.-L. Huang, C.-Y. Huang, and S. Sastry. Attacks Against Process Control Systems: Risk Assessment, Detection, and Response. In Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS), March 2011.
5. A. A. Cfiardenas, S. Amin, and S. Sastry. Secure control: Towards survivable cyber-physical systems. In Proceedings of the First International Workshop on Cyber-Physical Systems (WCPS), June 2008.
6. J. Cardoso, P. Derler, J. C. Eidson, E. A. Lee, S. Matic, Y. Zhao, and J. Zou. Modeling timed systems. In C. Ptolemaeus, editor, System Design, Modeling, and Simulation using Ptolemy II, page 355. Ptolemy.org, 2014.
7. D. Dolev and A. C. Yao. On the security of public key protocols. In Proceedings of the IEEE 22nd Annual Symposium on Foundations of Computer Science, pages 350-357, 1981.
8. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Sachs, Y. Xiong, and S. Neuendorfier. Taming heterogeneity-the ptolemy approach. Proceedings of the IEEE, 91(1):127-144, 2003.
9. N. Falliere, L. O. Murchu, and E. Chien. W32.stuxnet dossier. Security Response v1.4, Symantec, Feb 2011.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995.
11. G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, and S. H. Houmb. An aspect-oriented methodology for designing secure applications. Information and Software Technology, 51(5):846-864, 2009.
12. J. D. Howard and T. A. Longstafi. A common language for computer security incidents. Report SAND98-8667, Sandia National Laboratories, 1998.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Marc Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP. SpringerVerlag, 1997.
14. B. Kordy, L. Pietre-Cambacedes, and P. Schweitzer. Dag-based attack and defense modeling: Don't miss the forest for the attack trees. arXiv, 1303.7397, 2013.
15. E. Lee. Cyber physical systems: Design challenges. In International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), 2008.
16. E. A. Lee. CPS foundations. In Proceedings of the 47th Design Automation Conference, DAC '10, pages 737-742, New York, NY, USA, 2010. ACM.
17. J. M.-K. Leung, T. Mandl, E. A. Lee, E. Latronico, C. Shelton, S. Tripakis, and B. Lickly. Scalable semantic annotation using lattice-based ontologies. In 12th International Conference on Model Driven Engineering Languages and Systems, pages 393-407. ACM/IEEE, October 2009. (recipient of the MODELS 2009 Distinguished Paper Award).
18. Y. Liu, P. Ning, and M. K. Reiter. False data injection attacks against state estimation in electric power grids. In Proceedings of the 16th ACM Conference on Computer and Communications Security, 2009.
19. F. Pasqualetti, F. Dorer, and F. Bullo. Attack detection and identification in cyber-physical systems. Automatic Control, IEEE Transactions on, 58(11):2715-2729, 2013.
20. C. Ptolemaeus, editor. System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014.
21. G. Tassey. The economic impacts of inadequate infrastructure for software testing. RTI Project Number 7007.011, NIST, 2002.
22. J. D. Weiss. A system security engineering process. In Proceedings of the 14th National Computer Security Conference, 1991.
23. D. Xu and K. Nygard. Threat-driven modeling and verification of secure software using aspect-oriented petri nets. Software Engineering, IEEE Transactions on, 32(4):265-278, 2006.