CSC 236. Formal Methods in Secure Software Engineering. Basic concepts of formal methods in secure software engineering; formal methods based software development models and methodologies; formal methods for software system specification, modeling, analysis, verification, information assurance and security; systems and tools for the application of formal methods in secure software engineering; advances of formal methods in secure software engineering. Prerequisite: Fully classified graduate status in Computer Science or Software Engineering. Graded: Graded Student. Units: 3.0.