SNOWLIGHT kormányzati infrastruktúra elleni kampány
A CHERI Alliance szerint az ETSI (Európai Távközlési Szabványügyi Intézet) által elfogadott új műszaki specifikáció (ETSI TS 104 198) fordulópontot jelenthet a memóriabiztonság (memory safety) szabványosításában. A dokumentum nem egy konkrét programozási nyelvet vagy hardverplatformot ír elő, hanem egységes követelményrendszert határoz meg arra, hogy egy rendszer miként képes megelőzni vagy korlátozni a memóriakezelési hibákból – például puffer-túlcsordulásból (buffer overflow), határon kívüli memóriaelérésből (out-of-bounds access) vagy felszabadított memória használatából (use-after-free) – eredő sérülékenységeket. Az ilyen hibák a Microsoft és a Google statisztikái szerint évek óta a súlyos szoftversérülékenységek mintegy 70%-áért felelősek. Az ETSI célja, hogy a memóriabiztonságot ne egyetlen technológia, például a Rust használatával azonosítsák, hanem olyan mérhető biztonsági tulajdonságként kezeljék, amely különböző megoldásokkal – memóriabiztos programozási nyelvekkel, hardveres védelemmel vagy ezek kombinációjával – is elérhető.
A CHERI Alliance szerint ez különösen fontos a CHERI (Capability Hardware Enhanced RISC Instructions) technológia számára, amely hardveres képességekkel egészíti ki a processzorokat, és futásidőben ellenőrzi, hogy egy program csak az általa jogosan elérhető memóriaterületeket használhassa. A megközelítés előnye, hogy a meglévő, nagyrészt C/C++ nyelven írt szoftverek jelentős része minimális módosítással újrafordítható CHERI-kompatibilis környezetre, így a memóriabiztonság javítható anélkül, hogy teljes alkalmazásokat kellene Rustra vagy más memóriabiztos nyelvre átírni. A szervezet szerint az új ETSI-szabvány ezért elmozdíthatja a szakmai vitát arról, hogy melyik technológia a helyes megoldás, afelé, hogy milyen biztonsági eredményt kell elérni. Ez összhangban áll az EU Cyber Resilience Act célkitűzéseivel is, amelyek a biztonságos tervezést és a bizonyíthatóan ellenálló szoftverek fejlesztését helyezik előtérbe.
