پروتکل‌های اثبات‌گرایانه و امنیت تبادل داده