#02
Semantica a tre stati
Il modello K3 interno tratta Indeterminate come un elemento primitivo. Gli esiti pubblici sono ALLOW, DENY e INDETERMINATE.
Infrastruttura decisionale basata su un kernel deterministico
Limite di integrazione
Il kernel restituisce un risultato decisionale. Questo dossier non formula affermazioni sul comportamento dei flussi a valle.
Perimetro pubblico verificato
Revisione della fonte delle affermazioni: e5256479c823
Limite delle evidenze
Questa pagina pubblica non formula affermazioni sulla topologia di distribuzione, sulle modalità di applicazione o sulla verifica a valle.