科学家开发出不能随意修改的安全软件

　　科学家声称开发出世界上第一种不能随意修改的软件，它能防止系统崩溃或恶意攻击。

　　澳大利亚Open Kernel Labs领导开发了seL4微内核，其独一无二的功能是在数学上精确验证软件是否正确运行，能将不受信任的软件和可信的软件分离开，保护关键的服务，防止系统崩溃或恶意攻击。领导开发的科学家Gerwin Klein称，seL4微内核是目前唯一一种操作系统内核，其源代码已经在数学上证明能正确执行规范。