{"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\/et\/blog\/news\/google-predstavil-proekt-open-se-cura-dlya-sozdaniya-zashhishhyonnyh-programmno-apparatnyh-sistem","title":{"rendered":"Google esitles projekti Open Se Cura, et luua turvalisi tarkvara-ja riistvaras\u00fcsteeme","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google esitleb Open Se Cura, tarkvara- ja riistvara kompleks, mille eesm\u00e4rk on lihtsustada turvaliste kiipide loomist, mille \u00fclesanne on masin\u00f5ppe ja tehisintellekti \u00fclesannete lahendamine. Projekt h\u00f5lmab operatsioonis\u00fcsteemi CantripOS ja riistvara, mis p\u00f5hineb OpenTitani platvormil ja RISC-V arhitektuuril p\u00f5hineval protsessorituumal. Open Se Cura ja CantripOS arendamise k\u00e4igus olid projektid tuntud nimede Sparrow ja KataOS all, kuid teiste projektidega kattumise v\u00e4ltimiseks said l\u00f5pptooted uue nime. Projekti arendused, sealhulgas s\u00fcsteemiteenuste l\u00e4htekood ja RTL- skeemid (Register Transfer Level), levitatakse Apache 2.0 litsentsi alusel. <\/p>\n
Operatsioonis\u00fcsteem CantripOS p\u00f5hineb seL4 mikrotuumal, mille peal t\u00f6\u00f6tab s\u00fcsteemikeskkond, mis on kirjutatud Rust keeles. RISC-V s\u00fcsteemides on seL4 mikrotuuma suhtes esitatud matemaatiline t\u00f5estus usaldusv\u00e4\u00e4rsuse kohta, mis n\u00e4itab koodi t\u00e4ielikku vastavust spetsifikatsioonidele, mis on m\u00e4\u00e4ratletud formaalses keeles. seL4 arhitektuuri iseloomustab tuumare Resource Management v\u00e4ljatoomine kasutajaruumi ja samade ligip\u00e4\u00e4sude jagamise vahendite kasutamine nende ressursside jaoks, mis on kasutajate ressursside puhul. <\/p>\n
Mikrotuum ei paku valmis k\u00f5rgtaseme abstraktsioone failide, protsesside, v\u00f5rgu\u00fchenduste jmt haldamiseks, vaid pakub vaid minimaalset mehhanismi juurdep\u00e4\u00e4su haldamiseks f\u00fc\u00fcsilisele aadressiruumile, katkestustele ja protsessori ressurssidele. K\u00f5rgtaseme abstraktsioonid ja draiverid riistvaraga suhtlemiseks teostatakse eraldi mikrotuuma peal kasutaja tasandil toimivate \u00fclesannetena. Nende \u00fclesannete ligip\u00e4\u00e4s mikrotuuma ressurssidele korraldatakse reeglite m\u00e4\u00e4ratlemise kaudu. <\/p>\n
K\u00f5ik operatsioonis\u00fcsteemi komponendid, v\u00e4lja arvatud mikrotuum, on algselt kirjutatud Rust keeles, kasutades turvalisi programmeerimistehnikaid, mis v\u00e4hendavad m\u00e4luhaiguste tekkimise v\u00f5imalust. Rustis on muuhulgas kirjutatud seL4 keskkonnas rakenduste laadija, s\u00fcsteemiteenused, rakenduste arendusraamistik, API s\u00fcsteemi kutsete ligip\u00e4\u00e4suks, protsessihaldur ja d\u00fcnaamilise m\u00e4lu jagamise mehhanism. <\/p>\n
Verifitseeritud kogumi jaoks kasutatakse CAmkES t\u00f6\u00f6riistu, mida arendab seL4 projekt. L\u00f5pprakenduste arendamiseks, mida saavad d\u00fcnaamiliselt laadida s\u00fcsteemiteenused, soovitatakse kasutada AmbiML SDK-d ning masin\u00f5ppemudelite teostamiseks t\u00f6\u00f6riistu IREE (Intermediate Representation Execution Environment). Rustis loodud komponente ja s\u00fcsteemiteenuseid arendatakse Cantrip raamistikuga. <\/p>\n
Platvormi rakendusalad h\u00f5lmavad spetsialiseeritud kiipe, mis vajavad erilist kaitsetaset ja t\u00f5endavat mehhanismi t\u00f5rgete puudumise kohta. N\u00e4iteks v\u00f5ib platvormi kasutada masin\u00f5ppe toodetes, mis k\u00e4sitlevad konfidentsiaalset teavet, nagu inimeste tuvastamise ja h\u00e4\u00e4lerekordi anal\u00fc\u00fcsi s\u00fcsteemid. Loogiliselt verifitseeritud operatsioonis\u00fcsteemi tuuma ja usaldusv\u00e4\u00e4rsete riistvarakomponentide (RoT, Root of Trust) \u00fchendamine tagab, et t\u00f5rge \u00fche osa s\u00fcsteemist ei levi \u00fclej\u00e4\u00e4nud s\u00fcsteemi, sealhulgas tuumale ja kriitilistele osadele. <\/p>\n
Lisaks Google'ile osales t\u00f6\u00f6riistade ja infrastruktuuri elementide arendamises ka mittetulunduslik organisatsioon lowRISC, mis juhib avatud RISC-V arhitektuuril p\u00f5hineva mikroprotsessori arengut, samuti ettev\u00f5tted Antmicro ja VeriSilicon. lowRISC-i arendatav protsessor on kasutatud usaldusv\u00e4\u00e4rsete riistvarakomponentide (RoT, Root of Trust) tuumana. Antmicro pakkus projektile simulatsiooni Renode, mis v\u00f5imaldab testida CantripOS-i ja mikrokernelit seL4 ilma reaalse riistvara kasutamiseta. VeriSilicon jagas oma kogemusi kiipide loomisel ja BSP (Board Support Package) arendamisel. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"