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


Automated Assurance of Security Policy Enforcement

  • November 2016
  • By Julien Delange
  • Security is not only a matter of code. This work extends the AADL with security design rules
  • Publisher: Software Engineering Institute
  • Abstract

    As mission and safety-critical systems become increasingly connected, exposure due to security infractions is likewise increasing. This project aims at developing techniques to detect vulnerabilities early in the lifecycle in architecture models. The SEI focuses on producing tools to reduce the cost of and improve the quality of system security assurance.

  • Download

Part of a Collection

SEI 2016 Research Review