امنیت داده‌ها و روش‌های اثبات ریاضی