provable security

provable security ( رمزشناسی )
واژه مصوب: امنیت اثبات پذیر
تعریف: امنیت یک سامانۀ رمزنگاری که بتوان الزامات امنیتی آن را در یک مدل تهاجمی به صورت صوری بیان کرد