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

provably secure system מתח
.אבטחת	доказуемо безопасная система