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

Software Engineering Institute

  1. SEI
  2. Publications
  3. Digital Library
  4. Automated Assurance of Security Policy Enforcement

Automated Assurance of Security Policy Enforcement

November 2016 • Presentation
Julien Delange

Security is not only a matter of code. This work extends the AADL with security design rules

Publisher:

Software Engineering Institute

Watch

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.