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
GitHub
Subjects
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