#02
Σημασιολογία τριών καταστάσεων
Το εσωτερικό μοντέλο K3 αντιμετωπίζει το Indeterminate ως πρωτογενές στοιχείο. Τα δημόσια αποτελέσματα είναι ALLOW, DENY και INDETERMINATE.
Υποδομή λήψης αποφάσεων με ντετερμινιστικό πυρήνα
Όριο ενσωμάτωσης
Ο πυρήνας επιστρέφει ένα αποτέλεσμα απόφασης. Η παρούσα τεκμηρίωση δεν διατυπώνει ισχυρισμό για τη συμπεριφορά μεταγενέστερων ροών εργασίας.
Επαληθευμένο δημόσιο πεδίο
Αναθεώρηση πηγής ισχυρισμών: e5256479c823
Όριο τεκμηρίωσης
Σε αυτή τη δημόσια σελίδα δεν διατυπώνονται ισχυρισμοί για την τοπολογία εγκατάστασης, τους τρόπους επιβολής ή τη μεταγενέστερη επαλήθευση.