Стойкость доказуемая [ Provable security ]

Син.: Стойкость криптографическая теоретическая. [Словарь крипт. Терминов]