Проверяем capability-делегирование в стиле ОС Fuchsia средствами Isabelle/HOL
Хабр · 09.11.2026 · 11:25
Доступ к ресурсам в Zircon, микроядре операционной системы Fuchsia от Google, построен на том, что процесс работает с объектом ядра только через дескриптор, а права этого дескриптора…