cmu-sei / AASPE

A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.
16Updated 6 years ago

Related projects

Alternatives and complementary repositories for AASPE