Added slides for CIS-3152. Added links on security protocol analysis to the CIS-4040 page.