Go to Main Content

Central Connecticut State University


Detailed Course Information


Spring 2018
Feb 19, 2018
Transparent Image
Information Select the desired Schedule Type to find available classes for the course.

CS 493 - Secure Software Systems
Secure Software Systems Fall Prereqs.: C- or better in CS 253 and either CS 254 or CET 349. Study of the approaches, mechanisms, and tools used to make software systems more secure. We will motivate the study by discussing common software security threats. The majority of the course will be divided into four main modules: architectural approaches to building secure software (e.g., confinement, virtual machines, trusted computing); software analysis (e.g., static analysis and testing, model checking); language-based approaches to building secure software (e.g., type systems, proof-carrying code); and run-time enforcement of security policies (e.g., dynamic taint analysis). Cross-listed with CYS 493. No credit given to students with credit for CYS 493.

3.000 Credit hours
3.000 Lecture hours

Schedule Types: Hybrid: Online/On-Ground Combo, Independent Study, Lecture, Online Instruction

Computer Science Department

Course Attributes:
Not Avail for Graduate Credit

Prereq for CS 493

General Requirements:
Course or Test: CS 253
Minimum Grade of C-
May not be taken concurrently.  )
Course or Test: CS 254
Minimum Grade of C-
May not be taken concurrently.  )
Course or Test: CET 349
Minimum Grade of C-
May not be taken concurrently. )

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.7.1