終結(jié)黑客攻擊的操作系統(tǒng)問世

近日，耶魯大學(xué)計算機系教授邵中小組成功研發(fā)世界上第一個反黑客攻擊操作系統(tǒng)CertiKOS。

一直以來，計算機科學(xué)家都認為，計算機的操作系統(tǒng)在其核心應(yīng)該有一個小的、可信的內(nèi)核，促進系統(tǒng)的軟件和硬件之間的通信。 但是操作系統(tǒng)是復(fù)雜的，并且它需要的是一個單一的弱連接代碼，該代碼通過傳統(tǒng)測試幾乎不可能檢測到，并且使系統(tǒng)易受黑客攻擊。

CertiKOS具有極高的安全性和可靠性，采用了模塊分層驗證法（modular layered verification methods），擁有并發(fā)性，可同時在多個CPU內(nèi)核上多線程運行。此外，該系統(tǒng)整合了形式驗證，對無論是智能家電還是物聯(lián)網(wǎng)設(shè)備都能起到防黑客攻擊的保護作用。CertiKOS的高可信度操作系統(tǒng)內(nèi)核，可在此基礎(chǔ)上建立能免受網(wǎng)絡(luò)攻擊的信息物理系統(tǒng)（CPS,Cyber-Physical Systems）。CertiKOS的模塊分層驗證法還可被應(yīng)用到除操作系統(tǒng)外的任何軟件中。

(來源：Yale News)