这个以安全为中心的Linux内核真的不可打包吗？

 

是的，我们明白了！这不是一件容易选择的事情。

 

除了Windows之外，在过去几年里，甚至所谓的超级安全Linux发行版也被发现容易受到各种严重缺陷的攻击。

 

因为，几乎所有Linux发行版都使用相同的内核，而且大多数网络攻击都是针对操作系统的内核。所以，使用哪个Linux发行版并不重要。

 

内核是操作系统的核心部分，它处理所有主要活动，并对整个操作系统实施安全机制。

 

使操作系统安全要求内核中不存在漏洞，内核是硬件和用户之间的通信接口。

 

为了克服上述情况，波音公司和罗克韦尔柯林斯公司的安全研究人员、数学家和航空专家加入了NICTA专门研究人员的团队，开发了一种开源、不可破解的无漏洞微内核，名为seL4"。

seL4(安全微核项目)Linux内核已经被用于保护无人机、直升机、医疗设备和发电站免受黑客攻击。

不可压缩的Linux内核。真正地

你觉得......我不这么认为......

最近，'黑客新闻他写了一篇关于前7大残酷网络攻击的文章，证明没有人能免受黑客攻击.

 

因为— 对于黑客来说，如果一扇门关上，他们就会找到一种新的进入方式。

然而，去年，研究人员从数学上证明了他们的seL4内核不可打包并承诺通过更难破解的强大安全机制实现高性能。

根据seL4网站：这是一个具有端到端实现正确性和安全性实施证明的操作系统内核可以作为开源提供"。

 

seL4是第三代微内核，设计用于检测&amp；挫败黑客企图。它支持各种L4微内核功能，包括：

由于嵌入式设备、便携式设备及其在武装部队、医疗设备和家用设备等领域的使用以及对它们的相关网络攻击的增加，产生了对这种微内核的需求。

还记得汽车黑客吗？seL4能阻止吗？

是的，汽车黑客......最近，两名黑客在几英里外远程控制了一辆切诺基吉普。

我们无法阻止黑客访问Wi-Fi功能汽车的娱乐系统，因为攻击者经常使用非关键系统作为跳板来访问转向等关键硬件。

然而，内核开发背后的研究人员声称，seL4将保持系统分离以保护它们。

seL4的早期版本OKL4现已安装在数百万部智能手机上。

 

基于seL4的几个项目正在开发中，目的是征服作为受害者在操作系统上执行的大量网络攻击。此外，DARPA、NICTA和CSIRO等实体也参与了此类项目的实施。

 

检查内核的可用性请遵循seL4的说明。