英语 ⇄ 俄语 +

compositional security checker 强调
安全系统	инструмент для автоматической верификации композиционных свойств информационных потоков (Alex_Odeychuk)