Formal Methods

3 Credit Hours

Pre-requisites: IS-5100

The course will focus on formal methods in security. The role of formal methods in security requirements, risk analysis, access control models, trust models, specification and analysis of security properties, requirements refinement, policy specification, techniques for verification and static analysis, analysis of security- critical systems, and design and analysis of security protocols will be covered in the course.