#01
Deterministische uitkomst
OmegaOS™ Kernel is een deterministische beslissingskernel.
Beslisinfrastructuur rond een deterministische kernel
Geverifieerde productreikwijdte
OmegaOS™ Kernel beoordeelt gestructureerde invoer en retourneert een gestructureerde uitkomst met drie mogelijke toestanden.
Geverifieerde openbare reikwijdte
#02
Driewaardige semantiek
Het interne K3-model behandelt Indeterminate als een primitief element. De openbare uitkomsten zijn ALLOW, DENY en INDETERMINATE.
#03
Append-onlycontroles in de database
Zes beslissingstabellen weigeren UPDATE en DELETE op databaseniveau.
#04
Toegang afgebakend per tenant
PostgreSQL Row-Level Security bakent SELECT en INSERT af per tenant.
#13
Hashing van bewijsinhoud
Inhoudshashes van bewijs gebruiken domeingescheiden SHA-256.
Revisie van de claimbron: e5256479c823
Afbakening van het bewijs
Deze pagina beschrijft uitsluitend eigenschappen die in de huidige claimtabel als bewezen zijn geclassificeerd.