Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Extending AADL for Security Design Assurance of Cyber-Physical Systems

  • Abstract

    Attacks such as the one that compromised the control systems for Iranian centrifuges demonstrate a growing need to improve the design of security in cyber-physical systems. While much of the work on security has focused on coding, many of the common weaknesses that lead to successful attacks are actually introduced by design. This technical report shows how important system-wide security properties can and must be described and validated at the architectural level. This is done through the adoption and use of the Architecture Analysis and Design Language (AADL) and a further extension of it to describe security properties. This report demonstrates the viability and limitations of this approach through an extended example that allows for specifying and analyzing the security properties of an automotive electronics system.

    The report begins with a modeling of threats using the Microsoft STRIDE framework and then translates them into attack scenarios. Next, the report describes—as AADL components, relationships, and properties—the architectural structures, services, and properties needed to guard against such attacks. Finally, the report shows how these properties can be validated at design time using a model checker such as Resolute and discusses the limitations of this approach in addressing common security weaknesses.

  • Download

Cite This Report

SEI

Ellison, Robert; Householder, Allen; Hudak, John; Kazman, Rick; & Woody, Carol. Extending AADL for Security Design Assurance of Cyber-Physical Systems . CMU/SEI-2015-TR-014. Software Engineering Institute, Carnegie Mellon University. 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510

IEEE

Ellison. Robert, Householder. Allen, Hudak. John, Kazman. Rick, and Woody. Carol, "Extending AADL for Security Design Assurance of Cyber-Physical Systems ," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2015-TR-014, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510

APA

Ellison, Robert., Householder, Allen., Hudak, John., Kazman, Rick., & Woody, Carol. (2015). Extending AADL for Security Design Assurance of Cyber-Physical Systems (CMU/SEI-2015-TR-014). Retrieved November 23, 2017, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510

CHI

Robert Ellison, Allen Householder, John Hudak, Rick Kazman, & Carol Woody. Extending AADL for Security Design Assurance of Cyber-Physical Systems (CMU/SEI-2015-TR-014). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2015. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510

MLA

Ellison, Robert., Householder, Allen., Hudak, John., Kazman, Rick., & Woody, Carol. 2015. Extending AADL for Security Design Assurance of Cyber-Physical Systems (Technical Report CMU/SEI-2015-TR-014). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510

BibTex

@techreport{EllisonExtendingAADL2015,
title={Extending AADL for Security Design Assurance of Cyber-Physical Systems },
author={Robert Ellison and Allen Householder and John Hudak and Rick Kazman and Carol Woody},
year={2015},
number={CMU/SEI-2015-TR-014},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=449510} }