谷歌推出KataOS操作系统，最安全的智能设备

雅加达 - 谷歌推出了一个新的操作系统KataOS，为嵌入式设备提供额外的安全性。

根据Google的说法，如今许多智能设备收集和处理用户信息，因此这些设备更容易受到安全问题的影响。

图片，录音，视频等数据可能会被恶意软件窃取。这就是谷歌不得不引入卡塔OS的原因。

“如果我们周围的设备不能被数学证明可以保证数据安全，那么他们收集的个人身份数据，如人物的照片和他们的声音录音，可能会被恶意软件访问，”谷歌说。

卡塔OS选择了seL4作为微内核。它被证明是安全和私密的。通过 CAmkES seL4 结构，KataOS 还能够提供已定义且可进行分析的系统组件。

此外，系统模块非常安全。卡塔OS几乎完全在鲁斯特中实现。它是一种删除各种错误（如逐个错误和缓冲区溢出）的语言。

“这为软件安全提供了一个强有力的起点，因为它消除了一整类错误，例如单个错误和缓冲区溢出，”Google的开源团队解释说。

引自ZDNet，10月18日星期二，目前，KataOS及其伞形项目名称Sparrow正在开发过程中，这是KataOS的参考实现。

麻雀在这里演示一个安全的系统环境，在安全的硬件平台上使用KataOS。麻雀包括一个信任根，该根显然是安全的，并且在RISC-V架构上使用OpenTitan构建。它是对安全操作系统内核的补充。

目标是支持NASA，英特尔和其他公司已经瞥见的RISC-V架构芯片。

然而，对于KataOS的初始版本，谷歌的目标是使用QEMU仿真来运行更标准的64位ARM系统。