你的手機電腦真的安全嗎——數據系統(tǒng)的網絡安全及軟件可靠性研究 Techniques for Improving Cyber Security and Reliability

網絡安全/軟件工程

課題背景

當今社會越來越依賴于軟件：我們的運輸系統(tǒng)、醫(yī)院、銀行、政府以及聯網計算機都離不開軟件的支持。 因此，軟件的安全性和可靠性至關重要。在本課程中，學生將學習軟件安全性和可靠性的基礎知識，包括網絡攻擊和防御的主要類型以及軟件錯誤的主要類型以及防止它們的技術。本課程還將以實踐為重點，向學生介紹各地區(qū)流行的工具，例如模糊器和符號執(zhí)行器引擎。最終課綱可能會根據學生的背景和授課的進度調整。

課程內容

本課題主要向學生介紹提高軟件系統(tǒng)可靠性的技術和工具，概述軟件可靠性技術的主要類型，并討論它們各自的優(yōu)缺點。與此同時，還將詳細介紹這些技術和相關工具的選擇，重點是研究和實踐中的最新方向。課程將涵蓋：1）軟件錯誤和安全漏洞簡介；2）軟件可靠性的基本知識；3）網絡安全的基本知識；4）覆蓋標準；5）黑盒和灰盒模糊測試；6）動態(tài)符號執(zhí)行。 要學習本課程，學生應該具有基本的編程知識。 理想情況下，學生需知道如何使用靜態(tài)類型的編程語言（例如C，C ++或Java）進行編程；因為大多情況下，C語言是編寫先決安全性代碼的關鍵。 如果學生掌握動態(tài)編程語言（例如Python和JavaScript）也是可以的，教授會在課堂尚簡要講解相應疑點。

適合人群

 對軟件工程、計算機算法、軟件開發(fā)專業(yè)感興趣的本科生 修讀軟件工程、軟件開發(fā)、計算機等專業(yè)，以及未來希望在計算機科學、軟件工程與開發(fā)等領域從業(yè)的學生 具備編程、線性代數、以及微積分的理工科學生優(yōu)先， 學生需要有編程能力，至少python，建議C/C++

教授介紹

Cristian Cadar帝國理工學院計算機系終身教授

1)英國帝國理工學院SRG（Software Reliability Group）小組負責人

2)2019 BCS Roger Needham獲獎者

3)英國帝國理工學院高級研究員

4)斯坦福大學計算機科學 博士

5)專業(yè)期刊論文被引用7387次；

課程安排與收獲

10周在線小組科研（總計72課時）網申推薦信學術評估報告項目成績單論文成果

* 課時包含：導師課程36課時+助教課程30課時+寫作課程6課時，不包含先修課課時
* 完成研究后滿足學術條件和教授要求可獲得推薦信，教授將嚴格按照學生實際表現對學生進行客觀評價。