課程說明
日常軟體對弱點的復原能力。安全工程與安全開發生命週期。靜態分析與弱點分析。模型檢查器。安全測試、非功能測試、模糊測試。程式語言與安全。密碼學 API 與安全工具包之使用。
先修條件
- 先修條件： ( COMP 3000 或 SYSC 4001 )、COMP 3004 與 CSEC 3108。
條件與方式
- 先修條件： ( COMP 3000 或 SYSC 4001 )、COMP 3004 與 CSEC 3108。
- 每週授課三小時。
原文參考文本
Resilience of everyday software to vulnerabilities. Security engineering and the security development lifecycle. Static analysis and vulnerability analysis. Model checkers. Security testing, non-functional testing, fuzz-testing. Programming languages and security. Cryptographic APIs and use of security toolkits.
- Prerequisite(s): ( COMP 3000 or SYSC 4001 ), COMP 3004 and CSEC 3108 .
- Lectures three hours a week.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/undergrad/courses/CSEC/