Стойкость теоретическая (доказуемая) для конкретной задачи защиты информации [ Provable security (for the information security task) ] —
Строго обоснованная в рамках математической модели системы криптографической или механизма криптографического неулучшаемая нижняя оценка сложности получения атакующим информации о сохраняемых в тайне параметрах системы (механизма) или о защищаемой ими информации для конкретных исходных данных и конкретной задачи защиты информации криптографической.