{"id":111367,"date":"2023-11-08T03:10:14","date_gmt":"2023-11-08T01:10:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem"},"modified":"2023-11-08T03:10:14","modified_gmt":"2023-11-08T01:10:14","slug":"google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/da\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google har introduceret projektet Open Se Cura til at skabe sikre software-hardware l\u00f8sninger","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google har pr\u00e6senteret det software- og hardwarekompleks, Open Se Cura, designet til at forenkle oprettelsen af sikre chips til maskinl\u00e6ring og kunstig intelligens. Projektet omfatter operativsystemet CantripOS og hardware baseret p\u00e5 OpenTitan-platformen samt en processorarkitektur bygget p\u00e5 RISC-V. Under udviklingen blev Open Se Cura og CantripOS omtalt som Sparrow og KataOS, men for at undg\u00e5 overlapning med andre projekter er de endelige produkter blevet omd\u00f8bt. Projektets resultater, herunder kildekoder til systemtjenester og RTL-schemas (Register Transfer Level), distribueres under Apache 2.0-licensen. <\/p>\n
Operativsystemet CantripOS er baseret p\u00e5 mikro-kernen seL4, over hvilken et systemmilj\u00f8 er implementeret i Rust. Der er givet et matematisk bevis for p\u00e5lideligheden af mikro-kernen seL4, som viser, at koden fuldt ud overholder de specifikationer, der er angivet i det formelle sprog. Arkitekturen seL4 er bem\u00e6rkelsesv\u00e6rdig ved at flytte dele af ressourceh\u00e5ndteringen fra kernen til brugeromr\u00e5det og anvende de samme adgangsgr\u00e6nser til disse ressourcer som til brugerressourcer. <\/p>\n
Mikro-kernen giver ikke f\u00e6rdige, h\u00f8j-niveau abstraktioner til h\u00e5ndtering af filer, processer, netv\u00e6rksforbindelser osv., men den tilbyder kun minimale mekanismer til at styre adgangen til det fysiske adresseomr\u00e5de, afbrydelser og processorressourcer. H\u00f8j-niveau abstraktioner og drivere til interaktion med hardware implementeres separat oven p\u00e5 mikro-kernen i form af opgaver, der k\u00f8rer p\u00e5 brugerniveau. Adgangen for disse opgaver til mikro-kernens ressourcer organiseres ved hj\u00e6lp af regler. <\/p>\n
Alle komponenter i operativsystemet, bortset fra mikro-kernen, er oprindeligt skrevet i Rust ved hj\u00e6lp af sikre programmeringsmetoder, der minimerer fejl ved h\u00e5ndtering af hukommelse. I Rust er blandt andet applikationsloaderen til seL4-milj\u00f8et, systemtjenesterne, rammerne til applikationsudvikling, API'et til adgang til systemopkald, procesmanageren og mekanismen til dynamisk hukommelsesfordeling skrevet. <\/p>\n
Til den verificerede sammens\u00e6tning benyttes v\u00e6rkt\u00f8jet CAmkES, der udvikles af seL4-projektet. Til udvikling af slutapplikationer, som kan indl\u00e6ses dynamisk af systemtjenester, anbefales det at anvende SDK AmbiML, mens IREE (Intermediate Representation Execution Environment) foresl\u00e5s til udf\u00f8relse af maskinl\u00e6ringsmodeller. Komponenter skrevet i Rust og systemtjenester er udviklet ved hj\u00e6lp af Cantrip-rammev\u00e6rket. <\/p>\n
Blandt anvendelsesomr\u00e5derne for platformen n\u00e6vnes specialiserede chips, der kr\u00e6ver et s\u00e6rligt beskyttelsesniveau og bekr\u00e6ftelse af frav\u00e6r af fejl. For eksempel kan platformen anvendes i maskinl\u00e6ringsprodukter, der er relateret til behandling af fortrolige oplysninger, som f.eks. ansigtsgenkendelsessystemer og behandling af taler. Kombinationen af et logisk verificeret operativsystemkerne med betroede hardwarekomponenter (RoT, Root of Trust) sikrer, at hvis der opst\u00e5r en fejl et sted i systemet, vil denne fejl ikke sprede sig til resten af systemet, is\u00e6r ikke til kernen og kritiske dele. <\/p>\n
Foruden Google har den non-profit organisation lowRISC, som overv\u00e5ger udviklingen af en fri mikroprocessor baseret p\u00e5 RISC-V-arkitekturen, samt virksomhederne Antmicro og VeriSilicon deltaget i udviklingen af v\u00e6rkt\u00f8jer og infrastruktur. Den processor, der udvikles af lowRISC, blev brugt som kerne til opbygning af betroede hardwarekomponenter (RoT, Root of Trust). Antmicro leverede simulatoren Renode til projektet, som muligg\u00f8r test af CantripOS og mikrokerne seL4 uden reel hardware. VeriSilicon delte sin erfaring inden for chipdesign og udvikling af BSP (Board Support Package). \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"