{"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\/et\/blog\/novosti-interneta\/google-otkryl-kod-zashhishhyonnoj-operaczionnoj-sistemy-kataos","title":{"rendered":"Google avas kaitstud operatsioonis\u00fcsteemi KataOS koodi.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Google kuulutas v\u00e4lja avatud arendust\u00f6\u00f6d, mis on seotud KataOS-i projektiga, mille eesm\u00e4rk on luua turvaline operatsioonis\u00fcsteem sisseehitatud seadmetele. KataOS-i s\u00fcsteemikomponendid on kirjutatud Rusti keeles ja t\u00f6\u00f6tavad seL4 mikratuumel, mille jaoks on RISC-V s\u00fcsteemides esitatud usaldusv\u00e4\u00e4rsuse matemaatiline t\u00f5end, mis kinnitab koodi t\u00e4ielikku vastavust formaalse keeles m\u00e4\u00e4ratletud spetsifikatsioonidele. Projekti kood on avatud Apache 2.0 litsentsi all. <\/p>\n
S\u00fcsteem toetab RISC-V ja ARM64 arhitektuuride p\u00f5hjal loodud platvorme. seL4 t\u00f6\u00f6 simuleerimiseks ja KataOS keskkonna arendamiseks kasutatakse Renode raamistikku. N\u00e4idisrakendusena pakutakse v\u00e4lja Sparrow, mis kombineerib KataOS-i OpenTitani platvormil p\u00f5hinevate turvatud kiipidega. Ettepanek v\u00f5imaldab \u00fchendada loogiliselt t\u00f5endatud operatsioonis\u00fcsteemi tuuma usaldusv\u00e4\u00e4rsete riistvarakomponentidega (RoT, Root of Trust), mis on v\u00e4lja t\u00f6\u00f6tatud OpenTitani platvormi ja RISC-V arhitektuuri abil. Lisaks KataOS-i koodile plaanitakse tulevikus avada k\u00f5ik \u00fclej\u00e4\u00e4nud Sparrow komponente, sealhulgas riistvaralist komponenti. <\/p>\n
Platvorm areneb, arvestades spetsialiseeritud kiipide kasutamist, mis on m\u00f5eldud masin\u00f5ppe ja konfidentsiaalse teabe t\u00f6\u00f6tlemise rakenduste t\u00e4itmiseks, mille puhul on vajalik eriline kaitse- ja t\u00f5endamisviis, et v\u00e4ltida t\u00f5rkeid. Selliste rakenduste n\u00e4iteks on s\u00fcsteemid, mis manipuleerivad inimeste piltide ja h\u00e4\u00e4ltega. KataOS-i kasutamine usaldusv\u00e4\u00e4rsuse kontrollimiseks tagab, et kui \u00fche s\u00fcsteemi osa eba\u00f5nnestub, ei levita see eba\u00f5nnestumine \u00fclej\u00e4\u00e4nud s\u00fcsteemi, sealhulgas tuuma ja kriitiliste osade peale. <\/p>\n
seL4 arhitektuur on t\u00e4helepanuv\u00e4\u00e4rne, kuna see eraldab tuuma ressursside haldamise osad kasutaja ruumi ja rakendab nende ressursside permissions sama t\u00f6\u00f6riistadega, mis on kasutaja ressursside puhul. Mikrotuum ei paku valmis k\u00f5rgetasemelisi abstraktsioone failide, protsesside, v\u00f5rgu\u00fchenduste jne haldamiseks; selle asemel pakub see ainult minimaalseid mehhanisme f\u00fc\u00fcsilise aadressiruumi, katkestuste ja protsessori ressursside haldamiseks. K\u00f5rgetasemelised abstraktsioonid ja riistvaraga suhtlemise draiverid rakendatakse eraldi mikrotuuma kohal \u00fclesannete vormis, mis toimivad kasutaja tasemel. Nende \u00fclesannete juurdep\u00e4\u00e4s mikrotuumas saadaolevatele ressurssidele korraldatakse reeglite m\u00e4\u00e4ratlemise kaudu. <\/p>\n
Kaitseks arendatakse k\u00f5ik komponendid, v\u00e4lja arvatud mikrotuum, algselt Rusti keeles, kasutades turvalisi programmeerimismeetodeid, mis v\u00e4hendavad m\u00e4luga t\u00f6\u00f6tamise ajal vigu, mis v\u00f5ivad p\u00f5hjustada selliseid probleeme nagu m\u00e4luala kasutamine p\u00e4rast selle vabastamist, nulln\u00e4idikute t\u00fchistamine ja puhvri piirest v\u00e4ljumine. Rustis on kirjutatud ka rakenduste laadija seL4 keskkonnas, s\u00fcsteemiteenused, rakenduste arendamise raamistik, API s\u00fcsteemik\u00f5nedele, protsessihaldur, d\u00fcnaamilise m\u00e4luhalduse mehhanism jne. Kinnituskooste jaoks kasutatakse seL4 projekti kaudu arendatav CAmkES t\u00f6\u00f6riistakomplekti. CAmkESi komponente saab luua ka Rusti keeles. <\/p>\n
Rust tagab m\u00e4lut\u00f5rgete ennetamiseks kompileerimise ajal, kontrollides viiteid, j\u00e4lgides objektide omandi\u00f5igust ja eluiga (vahemikud) ning hindades m\u00e4lule juurdep\u00e4\u00e4su korrektsust koodijooksu ajal. Rust pakub samuti vahendeid arvuliste \u00fclevoolude kaitsmiseks, n\u00f5uab muutuja v\u00e4\u00e4rtuste eelnevat initsialiseerimist enne kasutamist, rakendab vaikimisi muutumatute (immutable) viidete ja muutujate kontseptsiooni ning pakub tugevat staatilist t\u00fc\u00fcpimist loogiliste vigade minimeerimiseks. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"