Quick Index

• Formal Methods (Tools) .
• Plan for Today .
• Goals for Today .
• Taxonomy of Approaches .
• NSA and Formal Verification .
• Bell- LaPadula Model .
• The Orange Book .
• Four Theorem Proving Systems (1984) .
• What Does it Mean for a System to be Secure? .
• What Does it Mean to Prove that a System is Secure? .

Heather L. Marko

Modified: December 1997