11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula

Software Engineering Institute (SEI) Podcast Series
29/07/2021 48 min
11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula

Listen "11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula"

Descargar episodio Ver en sitio original

Episode Synopsis

In this SEI Podcast, Aaron Greenhouse, a senior architecture researcher with Carnegie Mellon University's Software Engineering Institute, talks with principal researcher Suzanne Miller about use of the Bell–LaPadula mathematical security model in concert with the Architecture Analysis and Design Language (AADL) to model and validate confidentiality. Greenhouse and Miller also discuss 11 analysis rules that must be enforced over an AADL instance to ensure the consistency of a security model. Mapping Bell–LaPadula to AADL allows the expression of key concepts within the AADL model so that they can be analyzed automatically.   

More episodes of the podcast Software Engineering Institute (SEI) Podcast Series

Orchestrating the Chaos: Protecting Wireless Networks from Cyber Attacks 02/12/2025
From Data to Performance: Understanding and Improving Your AI Model 10/11/2025
What Could Possibly Go Wrong? Safety Analysis for AI Systems 31/10/2025
Getting Your Software Supply Chain In Tune with SBOM Harmonization 23/10/2025
API Security: An Emerging Concern in Zero Trust Implementations 08/10/2025
Delivering Next-Generation AI Capabilities 29/09/2025
The Benefits of Rust Adoption for Mission-and-Safety-Critical Systems 16/09/2025
Threat Modeling: Protecting Our Nation's Complex Software-Intensive Systems 05/09/2025
Understanding Container Reproducibility Challenges: Stopping the Next Solar Winds 30/07/2025
Mitigating Cyber Risk with Secure by Design 14/07/2025
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA