#01
Deterministyczne rozstrzygnięcie
OmegaOS™ Kernel jest deterministycznym jądrem decyzyjnym.
Infrastruktura decyzyjna oparta na deterministycznym jądrze
Zweryfikowany zakres produktu
OmegaOS™ Kernel ocenia ustrukturyzowane dane wejściowe i zwraca ustrukturyzowany wynik trójstanowy.
Zweryfikowany zakres publiczny
#02
Semantyka trójstanowa
Wewnętrzny model K3 traktuje Indeterminate jako element pierwotny. Wyniki publiczne to ALLOW, DENY i INDETERMINATE.
#03
Kontrole dopisywania w bazie danych
Sześć tabel decyzyjnych odrzuca operacje UPDATE i DELETE na poziomie bazy danych.
#04
Dostęp ograniczony do dzierżawcy
Mechanizm Row-Level Security w PostgreSQL ogranicza operacje SELECT i INSERT według dzierżawcy.
#13
Haszowanie treści materiału dowodowego
Skróty treści materiału dowodowego używają SHA-256 z separacją domen.
Wersja źródła twierdzeń: e5256479c823
Granica materiału dowodowego
Ta strona opisuje wyłącznie właściwości sklasyfikowane jako potwierdzone w aktualnej tabeli twierdzeń.