Изменения
→Определение
== Определение ==
[[системы шифрования|Система шифрования]] называется ''вычислительно безопасной'', если для любого полиномиального вероятностного алгоритма <tex> A </tex>существует пренебрежимо малая функция <tex> \epsilon (n) </tex> такая, удовлетворяющего классу [[Сложностный класс BPP|BPP]] выполнено: что вероятность <tex> P(A(E_{k}(x)) = (i,b) \wedge x_{i} = b) \le 1/2 + \epsilon(n) </tex> по всем <tex> k \in K = \{0,1\}^n, x \in \{0,1\}^m </tex>. То есть любой выбранный наугад бит текста в лучшем случае может быть угадан перехватчиком с вероятностью, где функция большей, чем <tex> \epsilon(n) 1/2 </tex> - , на пренебрежимо маламалую величину.
== Теорема ==