La empresa Google ha anunciado la apertura de los desarrollos relacionados con el proyecto KataOS, destinado a crear un sistema operativo seguro para equipos embebidos. Los componentes del sistema KataOS est\u00e1n escritos en el lenguaje Rust y se ejecutan sobre el microkernel seL4, para el cual en sistemas RISC-V se ha proporcionado una prueba matem\u00e1tica de fiabilidad, que demuestra la completa conformidad del c\u00f3digo con las especificaciones dadas en el lenguaje formal. El c\u00f3digo del proyecto est\u00e1 abierto bajo la licencia Apache 2.0. <\/p>\n
El sistema asegura soporte para plataformas basadas en arquitecturas RISC-V y ARM64. Para simular el funcionamiento de seL4 y el entorno de KataOS sobre el hardware, durante el desarrollo se utiliza el marco Renode. Como implementaci\u00f3n de referencia, se propone un complejo de hardware y software llamado Sparrow, que combina KataOS con chips seguros basados en la plataforma OpenTitan. La soluci\u00f3n propuesta permite combinar un n\u00facleo del sistema operativo l\u00f3gicamente verificado con componentes de hardware de confianza (RoT, Root of Trust), construidos utilizando la plataforma OpenTitan y la arquitectura RISC-V. Adem\u00e1s del c\u00f3digo de KataOS, se planea abrir en el futuro todos los dem\u00e1s componentes de Sparrow, incluyendo la parte de hardware. <\/p>\n
La plataforma se desarrolla con miras a su uso en chips especializados, dise\u00f1ados para ejecutar aplicaciones de aprendizaje autom\u00e1tico y procesamiento de informaci\u00f3n confidencial, que requieren un nivel especial de protecci\u00f3n y verificaci\u00f3n de la ausencia de fallos. Como ejemplo de tales aplicaciones, se citan sistemas que manipulan im\u00e1genes de personas y grabaciones de voz. El uso de la verificaci\u00f3n de fiabilidad en KataOS garantiza que, en caso de falla en una parte del sistema, esta falla no se propagar\u00e1 al resto del sistema y, en particular, al n\u00facleo y las partes cr\u00edticas. <\/p>\n
La arquitectura de seL4 destaca por la separaci\u00f3n de partes para la gesti\u00f3n de recursos del n\u00facleo en el espacio de usuario, utilizando los mismos mecanismos de control de acceso que para los recursos de usuario. El microkernel no proporciona abstracciones de alto nivel predefinidas para la gesti\u00f3n de archivos, procesos, conexiones de red, etc., sino que solo ofrece mecanismos m\u00ednimos para gestionar el acceso al espacio de direcciones f\u00edsicas, interrupciones y recursos de la CPU. Las abstracciones de alto nivel y los controladores para la interacci\u00f3n con el hardware se implementan por separado sobre el microkernel en forma de tareas que se ejecutan a nivel de usuario. El acceso de estas tareas a los recursos del microkernel se organiza a trav\u00e9s de la definici\u00f3n de reglas. <\/p>\n
Para una mayor protecci\u00f3n, todos los componentes, excepto el microkernel, se desarrollan inicialmente en el lenguaje Rust utilizando pr\u00e1cticas de programaci\u00f3n seguras que minimizan los errores relacionados con la memoria, como el acceso a \u00e1reas de memoria despu\u00e9s de que han sido liberadas, la desreferenciaci\u00f3n de punteros nulos y los desbordamientos de b\u00fafer. En Rust se han escrito, entre otras cosas, el cargador de aplicaciones en el entorno de seL4, servicios del sistema, un marco para el desarrollo de aplicaciones, una API para acceder a llamadas del sistema, un gestor de procesos y un mecanismo de distribuci\u00f3n din\u00e1mica de memoria. Para una construcci\u00f3n verificada se utiliza la herramienta CAmkES, desarrollada por el proyecto seL4. Los componentes para CAmkES tambi\u00e9n pueden ser creados en el lenguaje Rust. <\/p>\n
La gesti\u00f3n segura de la memoria en Rust se garantiza durante la compilaci\u00f3n mediante la verificaci\u00f3n de referencias, el seguimiento de la propiedad de los objetos y la consideraci\u00f3n de la duraci\u00f3n de vida de los objetos (\u00e1rea de visibilidad), as\u00ed como mediante la evaluaci\u00f3n de la correcci\u00f3n del acceso a la memoria durante la ejecuci\u00f3n del c\u00f3digo. Rust tambi\u00e9n proporciona herramientas para proteger contra desbordamientos enteros, requiere la inicializaci\u00f3n obligatoria de los valores de las variables antes de su uso, aplica el concepto de inmutabilidad (immutable) de referencias y variables por defecto, y ofrece una fuerte tipificaci\u00f3n est\u00e1tica para minimizar errores l\u00f3gicos. \u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043e\u0431\u044a\u044f\u0432\u0438\u043b\u0430 \u043e\u0431 \u043e\u0442\u043a\u0440\u044b\u0442\u0438\u0438 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043e\u043a, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c KataOS, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0434\u043b\u044f \u0432\u0441\u0442\u0440\u0430\u0438\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f. \u0421\u0438\u0441\u0442\u0435\u043c\u043d\u044b\u0435 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u044b KataOS \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u044b \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust \u0438 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u044e\u0442\u0441\u044f \u043f\u043e\u0432\u0435\u0440\u0445 \u043c\u0438\u043a\u0440\u043e\u044f\u0434\u0440\u0430 seL4, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430\u0445 RISC-V \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u043e \u043d\u0430\u0434\u0451\u0436\u043d\u043e\u0441\u0442\u0438, \u0441\u0432\u0438\u0434\u0435\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0443\u044e\u0449\u0435\u0435 \u043e \u043f\u043e\u043b\u043d\u043e\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0438 \u043a\u043e\u0434\u0430 \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f\u043c, \u0437\u0430\u0434\u0430\u043d\u043d\u044b\u043c \u043d\u0430 \u0444\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435. \u041a\u043e\u0434 \u043f\u0440\u043e\u0435\u043a\u0442\u0430 \u043e\u0442\u043a\u0440\u044b\u0442 \u043f\u043e\u0434 \u043b\u0438\u0446\u0435\u043d\u0437\u0438\u0435\u0439 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-105309","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Google ha abierto el c\u00f3digo del sistema operativo seguro KataOS | ProHoster","description":"La empresa Google anunci\u00f3 la apertura de los desarrollos relacionados con el proyecto KataOS, que tiene como objetivo crear un sistema operativo seguro para equipos embebidos.","canonical_url":"https:\/\/prohoster.info\/es\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"es_ES","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47Google \u043e\u0442\u043a\u0440\u044b\u043b \u043a\u043e\u0434 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b KataOS | ProHoster","og:description":"\u041a\u043e\u043c\u043f\u0430\u043d\u0438\u044f Google \u043e\u0431\u044a\u044f\u0432\u0438\u043b\u0430 \u043e\u0431 \u043e\u0442\u043a\u0440\u044b\u0442\u0438\u0438 \u043d\u0430\u0440\u0430\u0431\u043e\u0442\u043e\u043a, \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u044b\u0445 \u0441 \u043f\u0440\u043e\u0435\u043a\u0442\u043e\u043c KataOS, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u044b\u043c \u043d\u0430 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u043e\u043d\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0434\u043b\u044f \u0432\u0441\u0442\u0440\u0430\u0438\u0432\u0430\u0435\u043c\u043e\u0433\u043e \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f.","og:url":"https:\/\/prohoster.info\/es\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2022-10-15T13:37:02+00:00","article:modified_time":"2022-10-15T13:37:02+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":[],"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts\/105309","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/comments?post=105309"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/posts\/105309\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/media?parent=105309"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/categories?post=105309"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/es\/wp-json\/wp\/v2\/tags?post=105309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n
Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"