| |
Apr 30, 2024
|
|
|
|
|
COMSC 390 - Principles of Secure Programming
Prerequisites: COMSC 230
Requirement Fulfillment: Major, Minor, Core Concentration
Delivery: Lecture
This course introduces the principles behind producing secure program code. The course explores defects stemming from the language selected. It then covers basic principles of design and implementation of defect-free software. It looks at code reviews incorporating tool-assisted static and dynamic analysis, risk analysis and management, and methods for software security testing. Students will be exposed to SPARK, a language designed for secure applications.
3 credits
Spring
Add to Portfolio (opens a new window)
|
|
