Slide 1UCD Seclab2006 WECS1 Teaching Assurance Using Checklists Matt Bishop Dept. of Computer Science University of California, Davis Slide 2 UCD Seclab2006 WECS2 Outline…