PanLinx: достоверная вычислительная система

русский	rus-000
достоверная вычислительная система

English	eng-000	TCB
English	eng-000	trusted computing base
українська	ukr-000	вірогідна обчислювальна система

PanLex-PanLinx