1. Dependability and Security SpecificationLecture 1Dependability and Security Specification, CSE course, 2011Slide 1 2. Topics covered• Risk-driven specification• Safety…