如今智能设备已逐渐普及到千家万户,给我们的工作生活带来了极大的便利,智能创新在全社会掀起了效率革命。其中,智能手表、音箱、摄像头等产品多种多样,人类被越来越多地智能设备包围,在人工智能技术的加持下,功能丰富玩法多样,突破了以往时间和空间上的种种局限。
但是,智能设备,尤其是嵌入式设备,在具有一定计算能力、数据存储能力、通信能力之后,“安全”问题也浮出水面。我们使用这些设备的记录、摄像头的拍摄、麦克风的录音等,是否能保证数据安全呢?相比于手机、电脑这些传统智能设备,嵌入式智能设备往往具有体型小、和人体交互紧密、监管标准不统一等特性,这些设备可以收集和处理有关用户工作生活的信息,因此防止信息泄露至关重要。
为此,在数据安全行业布局深久的Google近日又有大动作,率先发布了致力于保护嵌入式智能设备的操作系统KataOS,这是对通用开源芯片上新的嵌入式安全操作系统的早期探索。据Google的开源团队解释说:“因为Android开源项目和Linux内核项目采用的编程语言是Rust,KataOS也几乎完全用Rust实现,这为软件安全提供了一个极高的起点,可以专注于保护安全,同时我们正在构建智能环境机器学习(AmbiML)系统。”
KataOS操作系统可能不适用于台式机或智能手机,但是对于智能家居等物联网设备具有良好的适配性。系统开发目标是为嵌入式硬件或边缘设备构建可验证的安全系统,例如用于连接摄像头捕获在设备本地或云端处理的图像,以进行机器学习为用户提供服务。KataOS 选择了 seL4 作为微内核,该内核主打的就是数据安全保护,将安全性放在首位,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。
Google表示,未来将发布与KataOS相关的所有内容,包括软件和硬件具体设计,目的是“构建一个安全可靠的系统,让人工智能更好地应用于智能设备”。
,