Изменения
→Определение
[[системы шифрования|Система шифрования]] называется ''вычислительно безопасной'', если для любого алгоритма <tex> A </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) </tex> - пренебрежимо мала.
== Теорема ==
