終結黑客攻擊的操作系統問世

終結黑客攻擊的操作系統問世

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

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

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

(來源：Yale News)