澳大利亚研发出无法被入侵的系统内核

2015年9月18日 | By News | Filed in: News.

Source: http://www.cnbeta.com/articles/431423.htm

操作系统是计算机安全的核心,而操作系统的核心是内核。澳大利亚国家研究机构开发出了第一个形式证明黑客无法入侵的内核seL4。seL4具有多个高度安全的特性:它设计只能做它允许做的事情,未获授权代码无法修改,未获许可不能读取它的内存和传输的数据。


发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注