English ⇄ Russian +

provable-secure cipher stresses
sec.sys.	шифр с доказуемой криптостойкостью
provable secure cipher
data.prot.	шифр с доказуемой криптостойкостью