{provable security} [رمزشناسی] امنیت یک سامانۀ رمزنگاری که بتوان الزامات امنیتی آن را در یک مدل تهاجمی به صورت صوری بیان کرد
