CS 621. Software Assurance

3.00
This course investigates the engineering of robust security solutions. We study security problem definition and modeling, policy-to-code modeling, security factoring of software source code, model-based vulnerability analysis, and how security solutions are related to security problems through an assurance argument. Prerequisites: CS 555 and CS 652 .