Infrastructure de décision fondée sur un noyau déterministe

Limite d’intégration

Le noyau renvoie un résultat de décision. Ce dossier ne formule aucune affirmation sur le comportement des processus en aval.

ContactConsulter le périmètre vérifié

Périmètre public vérifié

#02

Sémantique à trois états

Le modèle K3 interne traite Indeterminate comme un élément primitif. Les résultats publics sont ALLOW, DENY et INDETERMINATE.

Révision de la source des affirmations: e5256479c823

Limite de preuve

Cette page publique ne formule aucune affirmation sur la topologie de déploiement, les modes d’exécution ni la vérification en aval.