Google 发布安全操作系统 KataOS 并开源参考实现 Sparrow

如今智能设备已逐渐普及到千家万户，给我们的工作生活带来了极大的便利，智能创新在全社会掀起了效率革命。其中，智能手表、音箱、摄像头等产品多种多样，人类被越来越多地智能设备包围，在人工智能技术的加持下，功能丰富玩法多样，突破了以往时间和空间上的种种局限。

但是，智能设备，尤其是嵌入式设备，在具有一定计算能力、数据存储能力、通信能力之后，“安全”问题也浮出水面。我们使用这些设备的记录、摄像头的拍摄、麦克风的录音等，是否能保证数据安全呢？相比于手机、电脑这些传统智能设备，嵌入式智能设备往往具有体型小、和人体交互紧密、监管标准不统一等特性，这些设备可以收集和处理有关用户工作生活的信息，因此防止信息泄露至关重要。

为此，在数据安全行业布局深久的Google近日又有大动作，率先发布了致力于保护嵌入式智能设备的操作系统KataOS，这是对通用开源芯片上新的嵌入式安全操作系统的早期探索。据Google的开源团队解释说：“因为Android开源项目和Linux内核项目采用的编程语言是Rust，KataOS也几乎完全用Rust实现，这为软件安全提供了一个极高的起点，可以专注于保护安全，同时我们正在构建智能环境机器学习（AmbiML）系统。”

KataOS操作系统可能不适用于台式机或智能手机，但是对于智能家居等物联网设备具有良好的适配性。系统开发目标是为嵌入式硬件或边缘设备构建可验证的安全系统，例如用于连接摄像头捕获在设备本地或云端处理的图像，以进行机器学习为用户提供服务。KataOS 选择了 seL4 作为微内核，该内核主打的就是数据安全保护，将安全性放在首位，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。



Google表示，未来将发布与KataOS相关的所有内容，包括软件和硬件具体设计，目的是“构建一个安全可靠的系统，让人工智能更好地应用于智能设备”。