找回密码
 立即注册

QQ登录

只需一步,快速开始

查看: 306|回复: 0

谷歌推出 KataOS 开源操作系统

[复制链接]
发表于 2022-10-18 20:52:40 | 显示全部楼层 |阅读模式

马上注册,免费下载更多dz插件网资源。

您需要 登录 才可以下载或查看,没有账号?立即注册

×
近日谷歌宣布推出安全操作系统 KataOS,作为其最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。

据悉,KataOS 选择了 seL4作为微内核,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。通过 seL4CAmkES 框架,KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。
<
 懒得打字嘛,点击右侧快捷回复【查看最新发布】   【应用商城享更多资源】
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

联系DZ插件网微信客服|最近更新|Archiver|手机版|小黑屋|DZ插件网! ( 鄂ICP备20010621号-1 )|网站地图

GMT+8, 2023-3-25 03:35 , Processed in 0.098288 second(s), 62 queries , Gzip On, Redis On.

Powered by Discuz! X3.5 Licensed

© 2001-2023 Discuz! Team.

点击联系客服QQ
扫码联系客服微信