#02
Trostupanjska semantika
Interni model K3 tretira Indeterminate kao primitivni element. Javni ishodi su ALLOW, DENY i INDETERMINATE.
Infrastruktura za odlučivanje izgrađena oko determinističke jezgre
Granica integracije
Jezgra vraća ishod odluke. Ovaj dosje ne iznosi tvrdnje o ponašanju naknadnih radnih procesa.
Provjereni javni opseg
Revizija izvora tvrdnji: e5256479c823
Granica dokaza
Na ovoj javnoj stranici ne iznose se tvrdnje o topologiji implementacije, načinima provedbe ni daljnjoj provjeri.