Determinisztikus döntési mag köré épülő infrastruktúra

Ellenőrzött termékhatókör

OmegaOS™ Kernel strukturált bemeneteket értékel, és strukturált háromállapotú kimenetet ad.

Műszaki jegyzetAz ellenőrzött hatókör megtekintése

Ellenőrzött nyilvános hatókör

#01

Determinisztikus feloldás

A OmegaOS™ Kernel determinisztikus döntési mag.

#02

Háromállapotú szemantika

A belső K3 modell az Indeterminate értéket primitív elemként kezeli. A nyilvános kimenetek: ALLOW, DENY és INDETERMINATE.

#03

Csak hozzáfűzést engedő adatbázis-kontrollok

Hat döntési tábla adatbázisszinten elutasítja az UPDATE és DELETE műveleteket.

#04

Tenanthez kötött hozzáférés

A PostgreSQL Row-Level Security tenant szerint határolja a SELECT és INSERT műveleteket.

#13

Bizonyítéktartalom kivonatolása

A bizonyítékok tartalmi kivonatai tartományelválasztott SHA-256-ot használnak.

Az állításforrás verziója: e5256479c823

Bizonyítékok határa

Ez az oldal kizárólag a jelenlegi állítástáblában bizonyítottként besorolt tulajdonságokat ismerteti.