{"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\/da\/blog\/news\/programmno-apparatnaya-platforma-cheriot-1-0-dlya-povysheniya-bezopasnosti-koda-na-yazyke-si","title":{"rendered":"Den program- og hardwareplatform CHERIoT 1.0 til forbedring af kode sikkerhed i C-sprog","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Den endelige version af den software-hardware platform specifikation for CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things) er blevet pr\u00e6senteret, hvilket definerer en udvidelse af instruktionss\u00e6ttet (ISA) til at skabe sikre enheder. CHERIoT tilbyder hardwarefunktioner til at overv\u00e5ge hukommelsesadgang, kontrollere korrektheden af pointeroperationer og sikre isoleringen af kodeblokke. Samtidig er en stabil version af den referenceformelle model CHERIoT ISA, defineret p\u00e5 Sail-sproget, blevet offentliggjort. Projektets resultater distribueres under BSD-licensen. <\/p>\n
Projektet CHERIoT blev oprettet af Microsoft til at l\u00f8se sikkerhedsproblemer i eksisterende kode skrevet i C og C++ og til at beskytte s\u00e5dan kode uden behov for at omarbejde den. Beskyttelsen realiseres gennem anvendelse af en modificeret compiler, der bruger et udvidet s\u00e6t af processorinstruktioner (ISA) til at sikre integriteten af pointere, kontrollere gr\u00e6nserne ved arbejde med hukommelsen og forhindre adgang til frigivet hukommelse. I 2023 blev resultaterne fra CHERIoT \u00e5bnet og transformeret til et f\u00e6lles projekt, som ogs\u00e5 blev tilsluttet af andre virksomheder. <\/p>\n
CHERIoT hardware components are designed as a microcontroller based on the RISC-V architecture, implementing the secure processor architecture CHERI (Capability Hardware Extension to RISC-V) with a memory access model based on «capability» (each read and write operation in memory is authorized). Built on the instruction set architecture (ISA) provided in CHERIoT, the software model ensures secure memory operations at the individual object level, offering protection against accessing already freed memory and implementing a lightweight access isolation system. <\/p>\n
Den n\u00e6vnte softwarebeskyttelsesmodel afspejles direkte i C\/C++ sprogmodellen, hvilket g\u00f8r det muligt at anvende den p\u00e5 eksisterende applikationer, hvor beskyttelsen kun kr\u00e6ver recompilering og k\u00f8rsel p\u00e5 udstyr, der underst\u00f8tter CHERIoT ISA. For eksempel muligg\u00f8r brugen af CHERIoT at implementere automatisk gr\u00e6nsekontrol, overv\u00e5gning af hukommelsesomr\u00e5ders levetid og sikring af pointerintegritet i komponenter, der behandler up\u00e5lidelige data, uden at foretage \u00e6ndringer i koden. <\/p>\n
Blandt de problemer, der blokeres ved hj\u00e6lp af CHERIoT: <\/p>\n
\n
Uden for objektgr\u00e6nser i hukommelsen;\n
Erstatning af pegepunkter (ved brug af CHERIoT skal alle pegepunkter genereres fra allerede eksisterende pegepunkter);\n
Adgang til hukommelse efter frigivelse (enhver adgang til hukommelse via et ugyldigt pegepunkter eller et pegepunkter, der henviser til et frigivet objekt, f\u00f8rer ved brug af CHERIoT til generering af en undtagelse). <\/ul>\n
Ud over specifikationen og den formelle model udvikles der et referenceimplementering af 32-bit RISC-V CPU Ibex med underst\u00f8ttelse af ISA CHERIoT og et modificeret LLVM-v\u00e6rkt\u00f8jss\u00e6t. Skemaer for CPU-prototypen og beskrivelser af hardwareblokkene p\u00e5 Verilog-sprog distribueres under Apache 2.0-licensen. Som grundlag for CPU'en er Ibex-kernen fra lowRISC-projektet blevet anvendt. P\u00e5 basis af CHERIoT Ibex forberedes ICENI-chips til masseproduktion, som er planlagt til salg n\u00e6ste \u00e5r. Desuden udvikler Microsoft en mikrocontroller kaldet Kudu med underst\u00f8ttelse af ISA CHERIoT. Ibex og Kudu underst\u00f8tter allerede fuldt ud specifikationerne CHERIoT 1.0. Der arbejdes p\u00e5 standardisering af CHERI-udvidelser til RISC-V processorer i organisationen RISC-V International. <\/p>\n
Desuden udvikles en emulator til platformen baseret p\u00e5 FPGA og en Docker-container til udviklere med forudinstalleret v\u00e6rkt\u00f8jss\u00e6t og simulator for CPU Ibex, implementeret ved hj\u00e6lp af Verilator. Derudover er prototypen af realtidsoperativsystemet CHERIoT RTOS forberedt p\u00e5 basis af CHERIoT, hvilket giver mulighed for isolering af compartments (compartment), selv p\u00e5 indlejrede systemer med 256 MB RAM. Koden til CHERIoT RTOS er skrevet i C++ og distribueres under MIT-licensen. De grundl\u00e6ggende komponenter i operativsystemet er formateret som compartments, s\u00e5som bootloader, scheduler og hukommelsesfordelingssystem. <\/p>\n
Et kompartement i CHERIoT RTOS repr\u00e6senterer en isoleret kombination af kode og globale variabler, der minder om et delt bibliotek, men i mods\u00e6tning til det kan det \u00e6ndre sin tilstand (mutable) og k\u00f8res i en separat sikkerhedskontekst. Ingen kode udefra kan overdrage kontrol til koden i kompartementet eller f\u00e5 adgang til objekterne, undtagen ved at henvende sig til specielt definerede indgangspunkter og bruge pegere til objekter, der eksplicit er givet ved kald af et andet kompartement. For koden og de globale objekter i kompartementet garanteres integritet og fortrolighed. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"