May 20, 2025  
2024-2025 University Catalog 
    

COMSC 390 - Principles of Secure Programming


Prerequisites: COMSC 230  ; COMSC 210  
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
Fall



Add to Portfolio (opens a new window)