אנגלית ⇄ רוסית +

compositional security checker מתח
.מערכו	инструмент для автоматической верификации композиционных свойств информационных потоков (Alex_Odeychuk)