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

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

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

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

(來源：Yale News)