Seguridad Basada en Capacidades y Autorización Granular de Objetos
Sustituyendo privilegios globales de Linux y superusuarios root por tokens matemáticos infalsificables para cada llamada IPC, página de memoria e interrupción.
Eliminando Escaladas de Privilegios mediante Capacidades de Objetos Infalsificables
En un microkernel de capacidades, los derechos residen en memoria protegida fuera del alcance del usuario. Si un atacante compromete la pila de red, no puede fabricar acceso al actuador de dirección.
Atenuación Granular de Autoridad y Revocación Dinámica de Recursos
Al crear un proceso secundario, el componente principal emite una capacidad con derechos reducidos. Al finalizar el proceso, revocar la capacidad raíz invalida de inmediato todos los permisos descendientes.
- Cero autoridad ambiente: ningún proceso posee privilegios predeterminados en el sistema.
- Derivación infalsificable de capacidades: derechos atenuables que jamás pueden escalarse.
- Revocación atómica de recursos: liberación inmediata sin punteros huérfanos.
- Mapeos MMU/MPU derivados directamente de árboles de capacidades verificados.
Explorar Portafolio de Dominios