search menu icon-carat-right cmu-wordmark

Automated Assurance of Security Policy Enforcement

October 2016 Poster
Julien Delange

Detecting and fixing architecture-related vulnerabilities early in the lifecycle

Publisher:

Software Engineering Institute

Abstract

Safety-critical systems are now extremely software-reliant, which increases their attack surface. In recent years, security vulnerabilities of critical systems have enabled threats on our lives. Our  project uses architecture models to find security vulnerabilities early in the development lifecycle.