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

October 22, 2015 • Poster

By

Rick Kazman and 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.

Software Engineering Institute

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

October 22, 2015 • Poster

By Rick Kazman and Carol Woody

Publisher

Abstract

SHARE

Part of a Collection

By

Rick Kazman and Carol Woody