终结黑客攻击的操作系统问世

终结黑客攻击的操作系统问世

近日，耶鲁大学计算机系教授邵中小组成功研发世界上第一个反黑客攻击操作系统CertiKOS。

一直以来，计算机科学家都认为，计算机的操作系统在其核心应该有一个小的、可信的内核，促进系统的软件和硬件之间的通信。 但是操作系统是复杂的，并且它需要的是一个单一的弱连接代码，该代码通过传统测试几乎不可能检测到，并且使系统易受黑客攻击。

CertiKOS具有极高的安全性和可靠性，采用了模块分层验证法（modular layered verification methods），拥有并发性，可同时在多个CPU内核上多线程运行。此外，该系统整合了形式验证，对无论是智能家电还是物联网设备都能起到防黑客攻击的保护作用。CertiKOS的高可信度操作系统内核，可在此基础上建立能免受网络攻击的信息物理系统（CPS,Cyber-Physical Systems）。CertiKOS的模块分层验证法还可被应用到除操作系统外的任何软件中。

(来源：Yale News)