Blog Posts
Automating System Security with AADL: 11 Rules for Ensuring a Security Model

This post presents an approach for modeling and validating confidentiality based on the Bell–LaPadula security model using the Architecture Analysis and Design Language (AADL). It also presents 11 analysis rules …