雅加达 - 谷歌推出了一个新的操作系统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系统。


The English, Chinese, Japanese, Arabic, and French versions are automatically generated by the AI. So there may still be inaccuracies in translating, please always see Indonesian as our main language. (system supported by DigitalSiber.id)