• 1.

  تحلیل و ارزیابی صوری پروتکل های امنیتی شبکه تترا با استفاده از ابزارهای تحلیل خودکار

  مؤلف : ملازاده گل محله، مهدی ؛ سبزی‌نژاد فرامش، محمد ؛ رستاقی، روح‌اله ؛

  مجلة:پدافند الکترونیکی و سایبری»زمستان 1396، سال پنجم - شماره 4 التصنيف ج (Ministry of Science/ISC (‎21 صفحة - من 109 إلی 129 )

  الکلمات المفتاحية:تحلیل امنیتیمدل های صوریابزار تحلیل خودکارشبکه تترا

  مقالة تحميل خلاصة المقالات ذات الصلة مقترحات الآخرين

کلمات المفتاح ذات الصلة