search menu icon-carat-right cmu-wordmark
Carnegie Mellon University

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Extending AADL for Security Design Assurance of the Internet of Things Poster (SEI 2015 Research Review)

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

October 2015 • Poster
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.