SE-Radio Episode 390: Sam Procter on Security in Software Design

Sam Procter of the SEI discusses architecture design languages,
specifically Architecture Analysis and Design Language, and how
we can leverage the formal modeling process to improve the
security of our application design and improve applications
overall.