التحقق الرسمي

استخدام البراهين الصارمة رياضياً لضمان خصائص معينة للتشفير.