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

網(wǎng)絡(luò)安全/軟件工程

課題背景

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

課程內(nèi)容

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

適合人群

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

教授介紹

Cristian Cadar帝國理工學(xué)院計(jì)算機(jī)系終身教授

1)英國帝國理工學(xué)院SRG（Software Reliability Group）小組負(fù)責(zé)人

2)2019 BCS Roger Needham獲獎(jiǎng)?wù)?

3)英國帝國理工學(xué)院高級(jí)研究員

4)斯坦福大學(xué)計(jì)算機(jī)科學(xué) 博士

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

課程安排與收獲

10周在線小組科研（總計(jì)72課時(shí)）網(wǎng)申推薦信學(xué)術(shù)評(píng)估報(bào)告項(xiàng)目成績單論文成果

* 課時(shí)包含：導(dǎo)師課程36課時(shí)+助教課程30課時(shí)+寫作課程6課時(shí)，不包含先修課課時(shí)
* 完成研究后滿足學(xué)術(shù)條件和教授要求可獲得推薦信，教授將嚴(yán)格按照學(xué)生實(shí)際表現(xiàn)對(duì)學(xué)生進(jìn)行客觀評(píng)價(jià)。