死磕操作系统 谷歌重磅公布开源KataOS
发布时间:2022-10-21 09:59 所属栏目:16 来源:互联网
导读:对于全新推出的KataOS,谷歌计划让它成为一个「可证明的安全平台」,并针对运行机器学习应用的嵌入式设备进行充分的优化。 当我们被越来越多收集和处理环境信息的智能设备所包围时,我们比任何时候都更需要一个简单的解决方案,来为嵌入式硬件构建可验证的安
对于全新推出的KataOS,谷歌计划让它成为一个「可证明的安全平台」,并针对运行机器学习应用的嵌入式设备进行充分的优化。 当我们被越来越多收集和处理环境信息的智能设备所包围时,我们比任何时候都更需要一个简单的解决方案,来为嵌入式硬件构建可验证的安全系统。 如果我们的设备不能证明自己能保证数据的安全,那么它们收集的个人身份识别数据——如人的图像和声音的记录——就可能被恶意软件获取。 不幸的是,系统安全通常被视为添加到现有系统,或通过额外的ASIC硬件解决的软件功能——这远远不够。 针对这个问题,谷歌希望建立一个可证明的安全平台,为运行ML应用程序的嵌入式设备进行优化。 现在,谷歌已经在GitHub上开放了KataOS的几个组件,并且已经与Antmicro合作开发了Renode模拟器和相关框架。 为什么KataOS的安全性这么高呢? 谷歌解释说,因为从逻辑上讲,应用程序不可能破坏内核的硬件安全保护,并且系统组件是可验证安全的。 同时,KataOS也几乎完全由Rust实现,这更是加了一层buff,因为Rust消除了整类错误,比如逐一错误和缓冲区溢出。 (编辑:ASP站长网) |
相关内容
网友评论
推荐文章
热点阅读