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