9 min listen
11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula
11 Rules for Ensuring a Security Model with AADL and Bell–LaPadula
ratings:
Length:
48 minutes
Released:
Jul 29, 2021
Format:
Podcast episode
Description
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.
Released:
Jul 29, 2021
Format:
Podcast episode
Titles in the series (100)
Compliance vs. Buy-in: In this podcast, Julia Allen explains why integrating security into standard business processes is more effective than treating security as a compliance task. by Software Engineering Institute (SEI) Podcast Series