Firma Google og\u0142osi\u0142a otwarcie prac zwi\u0105zanych z projektem KataOS, kt\u00f3ry ma na celu stworzenie zabezpieczonego systemu operacyjnego dla wbudowanego sprz\u0119tu. Komponenty systemowe KataOS s\u0105 napisane w j\u0119zyku Rust i dzia\u0142aj\u0105 na mikroj\u0105drze seL4, dla kt\u00f3rego na systemach RISC-V dostarczono matematyczne dowody niezawodno\u015bci, potwierdzaj\u0105ce pe\u0142n\u0105 zgodno\u015b\u0107 kodu z wymaganiami okre\u015blonymi w formalnym j\u0119zyku. Kod projektu jest udost\u0119pniany na licencji Apache 2.0. <\/p>\n
System zapewnia wsparcie dla platform opartych na architekturach RISC-V i ARM64. W celu symulacji dzia\u0142ania seL4 i \u015brodowiska KataOS na sprz\u0119cie w trakcie rozwoju wykorzystuje si\u0119 framework Renode. Jako wzorcowa implementacja zaproponowano system sprz\u0119towo-programowy Sparrow, \u0142\u0105cz\u0105cy KataOS z zabezpieczonymi chipami na platformie OpenTitan. Proponowane rozwi\u0105zanie umo\u017cliwia po\u0142\u0105czenie logicznie zweryfikowanego j\u0105dra systemu operacyjnego z zaufanymi komponentami sprz\u0119towymi (RoT, Root of Trust), zbudowanymi z wykorzystaniem platformy OpenTitan i architektury RISC-V. Opr\u00f3cz kodu KataOS planowane jest r\u00f3wnie\u017c otwarcie wszystkich pozosta\u0142ych komponent\u00f3w Sparrow, w tym cz\u0119\u015bci sprz\u0119towej. <\/p>\n
Platforma rozwija si\u0119 z my\u015bl\u0105 o zastosowaniu w specjalistycznych chipach zaprojektowanych do uruchamiania aplikacji do uczenia maszynowego i przetwarzania poufnych informacji, kt\u00f3re wymagaj\u0105 szczeg\u00f3lnego poziomu zabezpiecze\u0144 i potwierdzenia braku awarii. Przyk\u0142adami takich aplikacji s\u0105 systemy manipuluj\u0105ce obrazami ludzi oraz nagraniami g\u0142osowymi. Wykorzystanie w KataOS weryfikacji niezawodno\u015bci gwarantuje, \u017ce w przypadku awarii w jednej cz\u0119\u015bci systemu, nie rozprzestrzeni si\u0119 ona na pozosta\u0142\u0105 cz\u0119\u015b\u0107 systemu i, w szczeg\u00f3lno\u015bci, na j\u0105dro oraz krytyczne miejsca. <\/p>\n
Architektura seL4 wyr\u00f3\u017cnia si\u0119 wydzieleniem cz\u0119\u015bci odpowiedzialnych za zarz\u0105dzanie zasobami j\u0105dra do przestrzeni u\u017cytkownika oraz zastosowaniem tych samych \u015brodk\u00f3w ochrony dost\u0119pu dla tych zasob\u00f3w, co dla zasob\u00f3w u\u017cytkownika. Mikroj\u0105dro nie oferuje gotowych abstrahacji wysokiego poziomu do zarz\u0105dzania plikami, procesami, po\u0142\u0105czeniami sieciowymi itd., zamiast tego dostarcza jedynie minimalne mechanizmy do zarz\u0105dzania dost\u0119pem do fizycznej przestrzeni adresowej, przerwaniami i zasobami procesora. Wysokopoziomowe abstrakcje oraz sterowniki do interakcji z sprz\u0119tem s\u0105 realizowane oddzielnie na poziomie u\u017cytkownika w postaci zada\u0144. Dost\u0119p tych zada\u0144 do zasob\u00f3w mikroj\u0105dra jest organizowany poprzez okre\u015blenie regu\u0142. <\/p>\n
Dla dodatkowej ochrony wszystkie komponenty, z wyj\u0105tkiem mikroj\u0105dra, s\u0105 pierwotnie rozwijane w j\u0119zyku Rust z wykorzystaniem bezpiecznych praktyk programistycznych, minimalizuj\u0105cych b\u0142\u0119dy zwi\u0105zane z operacjami na pami\u0119ci, prowadz\u0105ce do takich problem\u00f3w jak dost\u0119p do obszaru pami\u0119ci po jej zwolnieniu, dereferencja wska\u017anik\u00f3w null i przekroczenie granic bufora. W Rust napisano r\u00f3wnie\u017c \u0142adowark\u0119 aplikacji w \u015brodowisku seL4, us\u0142ugi systemowe, framework do tworzenia aplikacji, API do dost\u0119pu do wywo\u0142a\u0144 systemowych, mened\u017cera proces\u00f3w, mechanizm dynamicznej alokacji pami\u0119ci itd. Do zweryfikowanej budowy wykorzystywane jest narz\u0119dzie CAmkES, rozwijane przez projekt seL4. Komponenty dla CAmkES r\u00f3wnie\u017c mog\u0105 by\u0107 tworzone w j\u0119zyku Rust. <\/p>\n
Bezpieczne operacje na pami\u0119ci s\u0105 zapewnione w Rust podczas kompilacji dzi\u0119ki sprawdzaniu wska\u017anik\u00f3w, \u015bledzeniu w\u0142asno\u015bci obiekt\u00f3w oraz uwzgl\u0119dnianiu czasu \u017cycia obiekt\u00f3w (zakresu widoczno\u015bci), a tak\u017ce dzi\u0119ki ocenie poprawno\u015bci dost\u0119pu do pami\u0119ci podczas wykonywania kodu. Rust oferuje r\u00f3wnie\u017c \u015brodki ochrony przed przepe\u0142nieniem liczb ca\u0142kowitych, wymaga obowi\u0105zkowej inicjalizacji warto\u015bci zmiennych przed ich u\u017cyciem, stosuje koncepcj\u0119 niemodyfikowalno\u015bci (immutable) wska\u017anik\u00f3w i zmiennych domy\u015blnie oraz oferuje silne statyczne typowanie, by zminimalizowa\u0107 b\u0142\u0119dy logiczne. \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 otworzy\u0142 kod zabezpieczonego systemu operacyjnego KataOS | ProHoster","description":"Firma Google og\u0142osi\u0142a otwarcie prac zwi\u0105zanych z projektem KataOS, kt\u00f3ry ma na celu stworzenie zabezpieczonego systemu operacyjnego dla urz\u0105dze\u0144 wbudowanych.","canonical_url":"https:\/\/prohoster.info\/pl\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"pl_PL","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\/pl\/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\/pl\/wp-json\/wp\/v2\/posts\/105309","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/comments?post=105309"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/105309\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media?parent=105309"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/categories?post=105309"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/tags?post=105309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\n
\u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"