|
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)
|
|