امنیت اثبات‌پذیر

امنیت یک سامانۀ رمزنگاری که بتوان الزامات امنیتی آن را در یک مدل تهاجمی به‌صورت صوری بیان کرد