Sicurezza basata su capability e autorizzazione granulare degli oggetti
Sostituire i privilegi ambientali di Linux e il root con token matematici non falsificabili per ogni chiamata IPC, pagina di memoria e interrupt.
Eliminazione dell'escalation dei privilegi tramite capability non falsificabili
In un microkernel basato su capability, i diritti risiedono nella memoria protetta del kernel. Anche se un attaccante compromette lo stack di rete, non può creare permessi per gli attuatori di sterzo.
Attenuazione granulare dell'autorità e revoca dinamica delle risorse
Quando un componente genera un processo secondario, emette una capability derivata a diritti ridotti. Se il worker termina, revocare la capability radice annulla istantaneamente tutti i permessi discendenti.
- Zero autorità ambientale: nessun processo possiede privilegi di sistema predefiniti.
- Derivazione infalsificabile delle capability: i diritti possono essere attenuati, mai scalati.
- Revoca atomica delle capability: recupero immediato delle risorse senza puntatori orfani.
- Mappature hardware MMU/MPU derivate direttamente da alberi di capability verificati.
Esplora il portafoglio di domini