تحلیل آسیب‌پذیری‌های پروتکل‌های پیام‌رسانی امن