Automated Assurance of Security Policy Enforcement: Detecting and Fixing Architecture-Related Vulnerabilities Early in the Lifecycle

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2016
Accession Number
AD1128855

Entities

People

  • Julien Delange

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Aircrafts
  • Airplanes
  • Automatic
  • Avionics
  • Case Studies
  • Cryptography
  • Embedded Systems
  • Failure Mode And Effect Analysis
  • Fault Tree Analysis
  • Frequency
  • Ground Stations
  • Language
  • Safety
  • Security
  • Sense And Avoid Systems
  • Software Design
  • Standardization
  • Standards
  • Stations
  • Vulnerability

Fields of Study

  • Computer science

Readers

  • Sensor Fusion and Tracking Systems.
  • Software Engineering.
  • Strategic Security Studies