説明
日常的なソフトウェアの脆弱性への耐性。セキュリティ工学とセキュリティ開発ライフサイクル。静的解析と脆弱性解析。モデルチェッカー。セキュリティテスト、非機能テスト、ファズテスト。プログラミング言語とセキュリティ。暗号 API とセキュリティツールキットの使用。
前提条件
- 前提条件: ( COMP 3000 または SYSC 4001 ), COMP 3004 および CSEC 3108。
条件および詳細
- 前提条件: ( COMP 3000 または SYSC 4001 ), COMP 3004 および CSEC 3108。
- 講義週3時間。
原語による参照テキスト
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/