{"id":105309,"date":"2022-10-15T15:37:02","date_gmt":"2022-10-15T13:37:02","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos"},"modified":"2022-10-15T15:37:02","modified_gmt":"2022-10-15T13:37:02","slug":"google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","status":"publish","type":"post","link":"https:\/\/prohoster.info\/da\/blog\/news\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","title":{"rendered":"Google har \u00e5bnet koden til det sikre operativsystem KataOS","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google har annonceret \u00e5bningen af udviklingsarbejdet relateret til projektet KataOS, som sigter mod at skabe et sikkert operativsystem til indlejrede enheder. Systemkomponenterne i KataOS er skrevet i Rust og k\u00f8rer oven p\u00e5 mikrokernen seL4, for hvilken der p\u00e5 RISC-V systemer er givet et matematisk bevis for p\u00e5lidelighed, der viser, at koden er helt i overensstemmelse med specifikationerne angivet p\u00e5 det formelle sprog. Koden til projektet er \u00e5bnet under Apache 2.0-licensen. <\/p>\n
Systemet underst\u00f8tter platforme baseret p\u00e5 RISC-V og ARM64-arkitektur. For at simulere driften af seL4 og KataOS-milj\u00f8et p\u00e5 hardware under udviklingen bruges rammev\u00e6rket Renode. Som referenceimplementering tilbydes det software-hardware kompleks Sparrow, der kombinerer KataOS med sikre chips baseret p\u00e5 OpenTitan-platformen. Den foresl\u00e5ede l\u00f8sning muligg\u00f8r en kombination af et logisk verificeret operativsystemkernel med p\u00e5lidelige hardwarekomponenter (RoT, Root of Trust), bygget ved hj\u00e6lp af OpenTitan-platformen og RISC-V-arkitekturen. Udover koden til KataOS planl\u00e6gges det ogs\u00e5 at \u00e5bne alle andre komponenter af Sparrow, inklusive hardwarekomponenten. <\/p>\n
Platformen udvikler sig med henblik p\u00e5 brug i specialiserede chips designet til at k\u00f8re applikationer til maskinl\u00e6ring og behandling af fortrolige oplysninger, der kr\u00e6ver et s\u00e6rligt niveau af beskyttelse og bekr\u00e6ftelse af, at der ikke er fejl. Eksempler p\u00e5 s\u00e5danne applikationer inkluderer systemer, der manipulerer billeder af mennesker og lydoptagelser. Brug af p\u00e5lidelighedsverifikation i KataOS sikrer, at i tilf\u00e6lde af en fejl i en del af systemet, vil denne fejl ikke sprede sig til resten af systemet, is\u00e6r til kernen og kritiske dele. <\/p>\n
seL4-arkitekturen er bem\u00e6rkelsesv\u00e6rdig ved at flytte dele af kerneressourceh\u00e5ndtering til brugerrum og anvende de samme adgangsbegr\u00e6nsningsmetoder til disse ressourcer, som til brugerressourcer. Mikrokernen tilbyder ikke f\u00e6rdige h\u00f8j-niveau abstraktioner til filh\u00e5ndtering, processer, netv\u00e6rksforbindelser osv.; i stedet leverer den kun minimale mekanismer til at styre adgangen til fysisk adresserum, afbrydelser og processorressourcer. H\u00f8j-niveau abstraktioner og drivere til interaktion med hardware implementeres separat oven p\u00e5 mikrokernen i form af opgaver, der k\u00f8rer p\u00e5 brugerniveau. Adgangen for disse opgaver til de ressourcer, som mikrokernen har, organiseres gennem etablering af regler. <\/p>\n
For yderligere beskyttelse udvikles alle komponenter undtagen mikrokernen oprindeligt i Rust ved hj\u00e6lp af sikre programmeringsmetoder, der minimerer hukommelsesfejl, som kan f\u00f8re til problemer som adgang til frigivet hukommelse, dereferencering af nulpegepunkter og bufferoverskridelse. Ogs\u00e5 applikationsloaderen i seL4-milj\u00f8et, systemtjenester, udviklingsrammev\u00e6rk til applikationer, API til adgang til systemopkald, procesmanager, dynamisk hukommelsesfordelingsmekanisme osv. er skrevet i Rust. CAmkES-v\u00e6rkt\u00f8jet, som udvikles af seL4-projektet, anvendes til verificerbar opbygning. Komponenter til CAmkES kan ogs\u00e5 oprettes i Rust. <\/p>\n
Sikker hukommelsesarbejde sikres i Rust under kompilering gennem referencekontrol, sporing af ejerskab af objekter og h\u00e5ndtering af objektlivscyklus (synlighed) samt ved at vurdere korrektheden af hukommelsesadgang under k\u00f8rsel af koden. Rust tilbyder ogs\u00e5 v\u00e6rkt\u00f8jer til at beskytte mod heltalsoverflow, kr\u00e6ver, at variabler skal initialiseres, f\u00f8r de anvendes, anvender begrebet uforanderlighed (immutable) for referencer og variabler som standard og tilbyder st\u00e6rk statisk typing for at minimere logiske fejl. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"