تحلیل امنیت پروتکل‌های رمزنگاری و شناسایی نقاط ضعف سیستم‌ها