设为首页 - 加入收藏 ASP站长网(Aspzz.Cn)- 科技、建站、经验、云计算、5G、大数据,站长网!
热搜: 手机 数据 公司
当前位置: 首页 > 站长资讯 > 外闻 > 正文

死磕操作系统 谷歌重磅公布开源KataOS

发布时间:2022-10-21 09:59 所属栏目:16 来源:互联网
导读:对于全新推出的KataOS,谷歌计划让它成为一个「可证明的安全平台」,并针对运行机器学习应用的嵌入式设备进行充分的优化。 当我们被越来越多收集和处理环境信息的智能设备所包围时,我们比任何时候都更需要一个简单的解决方案,来为嵌入式硬件构建可验证的安
  对于全新推出的KataOS,谷歌计划让它成为一个「可证明的安全平台」,并针对运行机器学习应用的嵌入式设备进行充分的优化。
 
  当我们被越来越多收集和处理环境信息的智能设备所包围时,我们比任何时候都更需要一个简单的解决方案,来为嵌入式硬件构建可验证的安全系统。
 
  如果我们的设备不能证明自己能保证数据的安全,那么它们收集的个人身份识别数据——如人的图像和声音的记录——就可能被恶意软件获取。
 
  不幸的是,系统安全通常被视为添加到现有系统,或通过额外的ASIC硬件解决的软件功能——这远远不够。
 
  针对这个问题,谷歌希望建立一个可证明的安全平台,为运行ML应用程序的嵌入式设备进行优化。
 
  现在,谷歌已经在GitHub上开放了KataOS的几个组件,并且已经与Antmicro合作开发了Renode模拟器和相关框架。

  为什么KataOS的安全性这么高呢?
 
  谷歌解释说,因为从逻辑上讲,应用程序不可能破坏内核的硬件安全保护,并且系统组件是可验证安全的。
 
  同时,KataOS也几乎完全由Rust实现,这更是加了一层buff,因为Rust消除了整类错误,比如逐一错误和缓冲区溢出。

(编辑:ASP站长网)

    网友评论
    推荐文章
      热点阅读