Стойкость (криптосистемы) доказуемая —

Стойкость криптографическая, показывающая, что алгоритм успешной атаки на криптосистему можно использовать для создания другого алгоритма, существование которого считается невозможным .
Примечание. Примером с.д. является задача, когда специалисты пытаются показать, что атаку с выбором шифротекста, направленную на стойкость алгоритма RSA семантическую можно использовать для разложения на множители любого числа натурального. Иными словами, такое доказательство — результат относительный, при котором «доказательство» стойкости привязано к трудноразрешимости задачи факторизации [ Криптография ].
См. также: Стойкость (криптосистемы) теоретическая.