{"id":147300,"date":"2025-11-04T23:11:54","date_gmt":"2025-11-04T21:11:54","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si"},"modified":"2025-11-04T23:11:54","modified_gmt":"2025-11-04T21:11:54","slug":"programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si","status":"publish","type":"post","link":"https:\/\/prohoster.info\/sv\/blog\/news\/programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si","title":{"rendered":"Programvaru- och h\u00e5rdvaruplattformen CHERIoT 1.0 f\u00f6r att \u00f6ka s\u00e4kerheten f\u00f6r kod skrivna i C","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Den slutliga versionen av specifikationen f\u00f6r den programvara-h\u00e5rdvaruplattform som CHERIoT 1.0 (Capability Hardware Extension to RISC-V f\u00f6r Internet of Things) har presenterats, vilket definierar en utvidgning av instruktionsupps\u00e4ttningen (ISA) f\u00f6r att skapa s\u00e4kra enheter. CHERIoT erbjuder h\u00e5rdvarufunktioner f\u00f6r att sp\u00e5ra minnes\u00e5tkomst, verifiera korrektheten i pekarhantering och s\u00e4kerst\u00e4lla isolering av kodblock. Samtidigt publicerades en stabil version av den referensformella modellen f\u00f6r CHERIoT ISA, definierad i Sail-spr\u00e5ket. Projektets resultat sprids under BSD-licens. <\/p>\n
Projektet CHERIoT skapades av Microsoft f\u00f6r att l\u00f6sa s\u00e4kerhetsproblem i befintlig kod skriven i C och C++ och skydda s\u00e5dan kod utan att beh\u00f6va omarbeta den. Skyddet implementeras genom en modifierad kompilator som anv\u00e4nder en utvidgad upps\u00e4ttning processorinstruktioner (ISA) f\u00f6r att s\u00e4kerst\u00e4lla pekarens integritet, \u00f6vervaka gr\u00e4nser vid minnesanv\u00e4ndning och f\u00f6rhindra \u00e5tkomst till frigjort minne. \u00c5r 2023 blev resultaten fr\u00e5n CHERIoT \u00f6ppna och omvandlades till ett gemensamt projekt d\u00e4r \u00e4ven andra f\u00f6retag deltog. <\/p>\n
CHERIoT:s maskinvarukomponenter \u00e4r utformade som en mikrokontroller baserad p\u00e5 RISC-V-arkitekturen, som implementerar den skyddade processorarkitekturen CHERI (Capability Hardware Extension to RISC-V) med en minnes\u00e5tkomstmodell baserad p\u00e5 «capability» (varje l\u00e4s- och skrivoperation till minnet \u00e4r auktoriserad). Baserad p\u00e5 den upps\u00e4ttning kommandon (ISA) som tillhandah\u00e5lls i CHERIoT, \u00e4r den programmeringsmodell som s\u00e4kerst\u00e4ller s\u00e4ker minneshantering p\u00e5 objektiv\u00e5, vilket ger skydd mot \u00e5tkomst till redan frigjort minne och implementerar ett l\u00e4ttviktigt system f\u00f6r isolering av minnes\u00e5tkomst. <\/p>\n
Den angivna programvarumodellen f\u00f6r skydd \u00e5terspeglas direkt i spr\u00e5kmodellen f\u00f6r C\/C++, vilket g\u00f6r det m\u00f6jligt att till\u00e4mpa den f\u00f6r befintliga applikationer vars skydd endast kr\u00e4ver omkompilering och k\u00f6rning p\u00e5 utrustning som st\u00f6der CHERIoT ISA. Till exempel m\u00f6jligg\u00f6r anv\u00e4ndningen av CHERIoT att automatisk gr\u00e4nskontroll kan genomf\u00f6ras utan \u00e4ndringar i koden, sp\u00e5ra livsl\u00e4ngden hos minnesomr\u00e5den och s\u00e4kerst\u00e4lla pekarens integritet i komponenter som hanterar op\u00e5litliga data. <\/p>\n
Bland de problem som blockeras med hj\u00e4lp av CHERIoT: <\/p>\n
\n
\u00d6verskridande av objektets gr\u00e4nser i minnet;\n
Ers\u00e4ttning av pekare (vid anv\u00e4ndning av CHERIoT m\u00e5ste alla pekare h\u00e4rstamma fr\u00e5n redan existerande pekare);\n
\u00c5tkomst till minnet efter att det har frigjorts (all \u00e5tkomst till minnet via en ogiltig pekare eller en pekare som refererar till ett frigjort objekt leder under CHERIoT till att ett undantag genereras). <\/ul>\n
Ut\u00f6ver specifikationen och den formella modellen utvecklas en referensimplementation av en 32-bitars RISC-V CPU Ibex med st\u00f6d f\u00f6r ISA CHERIoT och ett modifierat LLVM-verktyg. Kretsarna f\u00f6r CPU-prototypen och beskrivningarna av h\u00e5rdvarublocken p\u00e5 Verilog-spr\u00e5ket sprids under Apache 2.0-licensen. Ibex-k\u00e4rnan fr\u00e5n lowRISC-projektet anv\u00e4nds som bas f\u00f6r CPU:n. Chipen ICENI, baserade p\u00e5 CHERIoT Ibex-k\u00e4rnan, f\u00f6rbereds f\u00f6r massproduktion, med f\u00f6rs\u00e4ljning planerad till n\u00e4sta \u00e5r. Separat utvecklar Microsoft en mikrokontroller Kudu med st\u00f6d f\u00f6r ISA CHERIoT. B\u00e5de Ibex och Kudu st\u00f6der redan fullst\u00e4ndigt CHERIoT-specifikationen 1.0. Arbetet med att standardisera CHERI-f\u00f6rl\u00e4ngningar f\u00f6r RISC-V-processorer p\u00e5g\u00e5r inom RISC-V International. <\/p>\n
Dessutom utvecklas en emulator f\u00f6r plattformen baserad p\u00e5 FPGA och en Docker-container f\u00f6r utvecklare med f\u00f6rinstallerade verktyg och simulator f\u00f6r CPU Ibex, implementerad med Verilator. Dessutom har en prototyp av realtidsoperativsystemet CHERIoT RTOS f\u00f6rberetts, vilket m\u00f6jligg\u00f6r isolering av compartment \u00e4ven p\u00e5 inb\u00e4ddade system med 256 MB RAM. Koden f\u00f6r CHERIoT RTOS \u00e4r skriven i C++ och distribueras under MIT-licensen. De grundl\u00e4ggande komponenterna i OS, s\u00e5som bootloader, schemal\u00e4ggare och minneshanteringssystem, \u00e4r strukturerade som compartments. <\/p>\n
Ett kompartments i CHERIoT RTOS \u00e4r en isolerad kombination av kod och globala variabler som liknar ett delat bibliotek, men till skillnad fr\u00e5n det kan den \u00e4ndra sitt tillst\u00e5nd (mutable) och k\u00f6ras i en separat s\u00e4kerhetskontext. Ingen extern kod kan \u00f6verf\u00f6ra kontroll till koden i kompartments eller f\u00e5 tillg\u00e5ng till objekt, f\u00f6rutom genom specifikt definierade ing\u00e5ngspunkter och anv\u00e4ndning av pekare till objekt som uttryckligen \u00f6verf\u00f6rts vid anrop av ett annat kompartments. Integritet och konfidentialitet garanteras f\u00f6r kod och globala objekt i kompartments. \n K\u00e4lla: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"