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


Publication Date


Extending AADL for Security Design Assurance of the Internet of Things Poster (SEI 2015 Research Review)

  • October 2015
  • By Rick Kazman, Carol Woody
  • This poster describes a project that aims to extend AADL to better address security in the architecture
  • Publisher: Software Engineering Institute
  • Abstract

    Important decisions that establish security in a system are made in the architecture.
    Formal modeling provides a means to continually verify that design and code changes are consistent with security requirements. We extended the core modeling concepts of AADL with security properties, to formally model architectural properties relevant to security.

  • Download

Part of a Collection

SEI 2015 Research Review Artifacts