PanLinx
русский
rus-000
высоконадежная вычислительная база
English
eng-000
TCB
English
eng-000
Trusted Computing Base
PanLex