Terms containing proof-system

Subject	English	Russian
cryptogr.	almost-perfectly zero-knowledge interactive proof system	интерактивная система доказательства со статистически нулевым разглашением
cryptogr.	computationally zero-knowledge interactive proof system	интерактивная система доказательства с вычислительно нулевым разглашением
gen.	crisis-proof system	антикризисная система
progr.	developing natural deduction system proofs	построение доказательств в системе естественного вывода (ssn)
radioeng.	ECM proof system	помехоустойчивая система
radioeng.	ECM proof system	помехозащищённая система
O&G, sakh.	explosion proof system	взрывобезопасная система (EXPO system)
softw.	fool proof system	система с защитой от неумелого или неосторожного обращения (Система дурака Kate_S)
tech.	fool-proof system	гарантирующая от ошибок система
cryptogr.	interactive proof system	интерактивная система доказательства
data.prot.	intruder-proof system	защищенная от вторжений система
sec.sys.	intruder-proof system	защищённая от вторжений система
astronaut.	jam-proof system	помехоустойчивая система
progr.	natural deduction system proofs	доказательства в системе естественного вывода (ssn)
cryptogr.	perfect zero-knowledge interactive proof system	интерактивная система доказательства с абсолютно нулевым разглашением
scient.	proof system	система доказательства (MichaelBurov)
math.	proof system	система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
softw.	proof verification system	система формальной верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)
automat.	proof-of-concept system	система подтверждения концепции
R&D., progr.	proof-system language	язык системы автоматического доказательства теорем (theatlantic.com Alex_Odeychuk)
cryptogr.	statistically zero-knowledge interactive proof system	интерактивная система доказательства со статистически нулевым разглашением
el.	systems proof test	контрольное испытание систем
sec.sys.	zero knowledge proof system	система доказательства без раскрытия секретных знаний
data.prot.	zero-knowledge interactive proof system	диалоговая система доказательства без раскрытия секретных знаний
data.prot.	zero-knowledge interactive proof system	интерактивная система доказательства без раскрытия секретных знаний
cryptogr.	zero-knowledge interactive proof system	интерактивная система доказательства с нулевым разглашением