59
будет подчиняться следующим общим принципам:
Система является надежной, если для каждого
вероятностного поли-
номиально-временного противника A, осуществляющего атаку одного из
формально заданных типов, вероятность успешного осуществления атаки
противником A (если успех также формально задан)
пренебрежимо мала.
Такое определение является
асимптотическим, потому что существует вероят-
ность того, что при небольших значениях n противник с большой вероятностью
добьется успеха. Для более подробного рассмотрения данного вопроса расширим
понятие «пренебрежимо малый» с помощью следующего утверждения:
Система является
криптографически надежной,
если для каждо-
го ppt противника A, осуществляющего атаку некоторым формально
заданным способом, и для каждого положительного многочлена p
существует такое целое число N, что когда n > N, вероятность успеш-
ной атаки A меньше 1/p(n).
Обратите
внимание, что никаких гарантий не дается для значений n ≤ N.
Достарыңызбен бөлісу: