Automated Assurance of Security Policy Enforcement (AASPE)
• Software
AASPE is a set of modeling tools for security analysis and a code generator to produce code for the seL4 platform from AADL models.
Publisher
Software Engineering Institute
Topic or Tag
Abstract
The AASPE tools are designed for making secure and safe safety-critical systems. The tools use the AADL and the OSATE toolset. It provides the following features:
- Attack Impact meta-model
- Attack Impact graphical editor
- Attack Tree editor meta-model
- Attack Tree graphical editor
- Bridge from Attack Impact to Attack Tree
- Bridge from AADL to Attack Impact