Теоретическая стойкость (криптосистемы), доказуемая стойкость (theoretical security, provable security)- криптографическая стойкость, определяемая в рамках некоторой математической модели. Основные подходы к определению т. с. в настоящее время — теоретико-информационная стойкость и теоретико-сложностная стойкость.
