تحلیل امنیت مدل مبنا

نام مسئول هسته: بهروز ترک لادانی

دانشکده مرتبط: مهندسی کامپیوتر

تیم راهبری هسته (شامل مسئول هسته) :

ردیف

نام و نام خانوادگی

مرتبه علمی

گروه آموزشی

عنوان برنامه تحقیقاتی جهت دار

بهروز ترک لادانی

استاد

مهندسی کامپیوتر- نرم افزار

الف) امنیت نرم افزار

· مدل سازی و تحلیل آسیب پذیری های امنیتی برنامه های آندرویدی (تابان)

· مدل سازی و تحلیل بدافزارهای آندرویدی

ب) امنیت نرم

· مدل سازی و تحلیل مدل های اعتماد محاسباتی

· مدل سازی و تحلیل انتشار شایعه در شبکه های اجتماعی

· مدل سازی و تحلیل نحوه شکل گیری و تغییر افکار عمومی در شبکه های اجتماعی

بهمن زمانی

دانشیار

مهندسی کامپیوتر- نرم افزار

دانشجویان تحت راهنمایی تیم راهبری هسته:

ردیف	نام و نام خانوادگی	مقطع	سال شروع تحصیل	عنوان پارسا
۱	عاطفه نیرومند	دکتری	۱۳۹۷	چارچوبی یکپارچه مبتنی بر مدل جهت تحلیل امنیتی ارتباطات بین برنامه ای در برنامه های اندروید (ابزار وندروید نسخه ۳)
۲	امیرحسین صیاد عبدی	دکتری	۱۳۹۷	چارچوبی برای توصیف و وارسی صوری ویژگی‌های امنیتی سامانه مجوز آندروید
۳	هانی ربیعی	دکتری	۱۳۹۷	مدل‌سازی و تحلیل تأثیر بات‌های شبکه‌ اجتماعی بر شکل‌دهی افکار عمومی
۴	ابوالفضل شمس	دکتری	۱۳۹۷	کشف و رفع فریب‏ بدافزارهای آندرویدی در فرآیند تحلیل پویا (توسعه ابزار ماکر نسخه ۲)
۵	اطهره فاطمیان	دکتری	۱۳۹۹	مدل سازی و تحلیل پویای رفتار بدافزارهای آندرویدی (توسعه ابزار ماکر نسخه ۳)
۶	شادی کرباسیان	ارشد	۱۳۹۸	چارچوبی مبتنی بر مهندسی معکوس مدل‌رانده برای تشخیص نشت اطلاعات در برنامه‌های اندرویدی (توسعه ابزار وندروید ۳)
۷	نوید شیرمحمدی	ارشد	۱۳۹۹	تولید خودکار سناریوهای حمله و دفاع در میدان سایبری به کمک روش‌های توسعه مدل‌رانده (توسعه نسخه اول سامانه میدان سایبری نقش مجاز)
۸	حسین قجاوند	ارشد	۱۴۰۰	خودکار سازی طراحی و تولید سناریوهای آموزش جرم شناسی رایانه ای در میدان سایبیری نقش مجاز
۹	فرنوش کریمی	ارشد	۱۴۰۰	خودکار سازی طراحی و تولید سناریوهای آموزش تحلیل بدافزار در میدان سایبری نقش مجاز
۱۰	طلا ضامن دوست	ارشد	۱۴۰۰	اضافه کردن قابلیت بازی وارسازی سناریوهای آموزشی به سامانه میدان سایبری نقش مجاز
۱۱	مهران کامران پور	ارشد	۱۳۹۹	خودکار سازی طراحی و تولید سناریوهای آموزش تست نفوذ وب در میدان سایبری نقش مجاز
۱۲	مهدی نصر آزادانی	ارشد	۱۴۰۰	تحلیل پویای بدافزارهای آندرویدی با رویکرد تجهیز کد (Instrumentation)

برنامه پژوهشی هسته :

مسئله پژوهشی هسته تحلیل امنیت مدل مبنا، پاسخ‌گویی به چالش‌های مطرح در حوزه مدل سازی، تحلیل، توسعه و ارزیابی امنیت در سامانه های اطلاعاتی با توسعه‌ی راهکارها و ابزارهای مناسب است. در این راستا، تولید چارچوب‌های تخصصی و ابزارهای مفید و نوین در حوزه مدل‌سازی و تحلیل جنبه‌های امنیتی سامانه ها و نرم‌افزارها مشتمل بر موارد زیر در دست اقدام است:

· ارائه چارچوب‌های تخصصی و ابزار برای مدل سازی، تحلیل، کشف و رفع آسیب پذیری های امنیتی نرم افزارها

· ارائه چارچوب‌های تخصصی و ابزار برای مدل سازی، تحلیل، کشف و مقابله با بدافزارها

· ارائه چارچوب‌های تخصصی و ابزار برای مدل سازی، تحلیل و ارزیابی جنبه های مختلف تهدیدات نرم و امنیت نرم در شبکه های اجتماعی (شامل اعتماد، سرمایه اجتماعی، کنترل انتشار شایعه، تاثیر گذاری بر افکار عمومی و ...)

انتخاب حالت کور رنگی