Sécurité basée sur les capacités et autorisation granulaire d'objets

Remplaçant les privilèges ambiants de Linux et le root POSIX par des jetons mathématiques infalsifiables pour chaque IPC, page mémoire et interruption.

Élimination des élévations de privilèges via des capacités d'objets infalsifiables

Dans un micro-noyau à capacités, les droits résident dans la mémoire protégée du noyau. Même si un attaquant prend le contrôle de la pile réseau, il ne peut en aucun cas fabriquer un droit d'accès aux actionneurs de direction.

Atténuation granulaire d'autorité et révocation dynamique des ressources

Lorsqu'un composant crée un sous-processus, il génère une capacité dérivée aux droits restreints. Si le processus échoue, révoquer la capacité racine invalide instantanément tous les droits dérivés dans le système.

Zéro autorité ambiante : aucun processus ne détient de privilèges système par défaut.
Dérivation infalsifiable des capacités : les droits peuvent être restreints mais jamais élevés.
Révocation atomique des capacités : récupération immédiate sans pointeurs orphelins.
Mappages matériels MMU/MPU dérivés directement des arbres de capacités formellement prouvés.

Explorer le portefeuille de domaines