Hiện nay có nhiều thiết bị thông minh hơn thu thập và xử lý thông tin từ môi trường. Theo Google, những thiết bị này dễ gặp các vấn đề về bảo mật hơn. Do đó, cần có một giải pháp đơn giản là một hệ thống an toàn có thể kiểm chứng cho phần cứng nhúng. Nếu các thiết bị xung quanh chúng ta không thể được chứng minh về mặt toán học để giữ cho dữ liệu an toàn, thì sẽ có rắc rối. Điều này là do dữ liệu thu thập có thể dễ bị tấn công từ bên ngoài. Điều này có nghĩa là hình ảnh, bản ghi âm giọng nói, video và các dữ liệu khác có thể bị phần mềm độc hại đánh cắp. Đây là lý do tại sao Google giới thiệu KataOS.
Theo các báo cáo, KataOS chọn cấu trúc seL4 làm microkernel. Điều này được chứng minh là an toàn và riêng tư. Mức độ đáng tin cậy của hệ điều hành này cao và người dùng có thể chắc chắn về sự bảo vệ. Thông qua cấu trúc seL4 CAmkES, KataOS cũng có thể cung cấp các thành phần hệ thống được xác định và có thể phân tích.
KataOS cung cấp một hệ thống an toàn bảo vệ quyền riêng tư của người dùng, vì các ứng dụng gần như không thể xâm phạm các biện pháp bảo mật phần cứng của hệ điều hành này. Hơn nữa, KataOS được thực hiện gần như hoàn toàn trong Rust, một ngôn ngữ loại bỏ tất cả các loại lỗi.
Google cũng đã xây dựng một tham chiếu cho KataOS có tên là Sparrow. Lý do ra đời của Sparrow là để thể hiện đầy đủ hệ thống môi trường an toàn, khi kết hợp sử dụng KataOS với nền tảng phần cứng an toàn.
Ảnh minh họa (Nguồn ảnh: Forbes)
Google cũng đang làm việc với Antmicro, cho phép gỡ lỗi GDB và mô phỏng thông qua Renode cho phần cứng đích. KataOS cũng có thể tải và chạy các ứng dụng của bên thứ ba một cách chủ động, thậm chí còn chạy các ứng dụng được xây dựng bên ngoài cấu trúc CAmkES. Hiện tại, mã trên Github không chứa các mô-đun cần thiết để chạy các ứng dụng này. Tuy nhiên, Google hy vọng sẽ phát hành các hoạt động này trong tương lai gần.
Bạn nghĩ gì về hệ điều hành KataOS của Google?