操作系統是計算機安全的核心，而操作系統的核心是內核。澳大利亞國家研究機構開發出了第一個形式證明黑客無法入侵的內核seL4。seL4具有多個高度安全的特性：它設計只能做它允許做的事情，未獲授權代碼無法修改，未獲許可不能讀取它的內存和傳輸的數據。
seL4的一個早期版本OKL4已被數百萬智能手機使用。該機構的Gernot Heiser說，seL4采用了新方法孤立內核中的數據，但最關鍵的安全特性是代碼能被在數學上檢查。
澳大利亞研發出無法被入侵的系統內核
責任編輯：editor005 | 2015-09-18 21:29:45 本文摘自：solidot
京公網安備 11010502049343號