#01
Zgjidhje deterministe
OmegaOS™ Kernel është një bërthamë deterministe vendimmarrjeje.
Infrastrukturë vendimmarrjeje e ndërtuar rreth një bërthame deterministe
Fushëveprimi i verifikuar i produktit
OmegaOS™ Kernel vlerëson hyrje të strukturuara dhe jep një rezultat të strukturuar me tri gjendje.
Fushëveprimi publik i verifikuar
#02
Semantikë me tri gjendje
Modeli i brendshëm K3 e trajton Indeterminate si element primitiv. Rezultatet publike janë ALLOW, DENY dhe INDETERMINATE.
#03
Kontrolle të bazës së të dhënave vetëm për shtim
Gjashtë tabela vendimmarrjeje refuzojnë UPDATE dhe DELETE në shtresën e bazës së të dhënave.
#04
Qasje e kufizuar sipas tenantit
Siguria në nivel rreshti e PostgreSQL kufizon SELECT dhe INSERT sipas tenantit.
#13
Hashimi i përmbajtjes së provave
Për hashimin e përmbajtjes së provave përdoret SHA-256 me ndarje sipas domenit.
Versioni i burimit të pohimeve: e5256479c823
Kufiri i provave
Kjo faqe përshkruan vetëm vetitë e klasifikuara si të provuara në tabelën aktuale të pohimeve.