ModelCheckingforSecurity.pptVIP

Model Checking for Security Anupam Datta CMU Fall 2007-08 Logistics Scribing Notes due a week after the lecture Sign-up! Blackboard access for people who are auditing, but are not officially enrolled: send email to Joe Homework 1 is out; due Sept 18 before class Project discussion: Sept 18, 20 (Tue-Th): 4:30-6PM in CIC 2118 Sign up for slots (15 min per group) This Lecture Model checking overview Model checking security protocols using Murphi Example: Needham-Schroeder public key protocol Note: More on Murphi this Friday HW1 will use Murphi; possibly projects Model Checking: Basics Mo