Dec 30, 2024  
2023-2024 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Degrees Offered
  Academic Departments
  Programs of Study
  Course Descriptions
  Admission to Graduate Programs
  Tuition, Fees and Expenses
  Financial Assistance
  General Regulations
  Student Services
  University Calendar
  Graduate Faculty
  About the University
  The Graduate School
  Colleges
  Publishing Statement
  Your Right to Know
  Non-Discrimination Statement
  Graduate Education Administration
  Archived Catalogs
HELP
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

CS 621. Software Assurance


Credits 3.00 PeopleSoft Course ID: 009772 Grading Basis GRD

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. Prerequisite(s):  CS 555  and CS 652 .