9971

9971

ارائه روشي براي تشخيص برنامه¬هاي نا امن به روش مدل كردن با شبكه¬هاي پتري

دريافت درجه كارشناسي ارشد

فن¬آوري اطلاعات و ارتباطات گرايش مخابرات امن

فروردين¬ماه 1390

فروردين¬ماه 1390

دكتر سعيد پارسا

چكيده يكي از مسائل پايه¬ در تشخيص اجراهاي نادرست در برنامه¬هاي نرم¬افزاري مدل¬كردن رفتار اصلي برنامه¬هاي نرم افزاري مي¬باشد. بايد با مشاهده رفتار برنامه در حين اجرا و مطابقت دادن اين رفتار مشاهده شده با رفتاري كه بر اساس مدل از برنامه انتظار مي¬رود، بتوان رفتارهاي نادرست زمان اجرا را تشخيص داد .اين رفتارها يا ناشي از اضافه كردن كدهاي اضافي و ناامن در متن برنامه مي¬باشد و يا ربودن اجراي پردازه در حال اجرا مي¬باشد. براي مدل كردن رفتار نرم افزار، مدلهاي مختلفي كه از روشهاي متفاوتي استفاده مي¬كنند معرفي شده است. روشي كه در تحقيق براي مدل كردن به كار برده شده، مبتني بر تحليل ايستاي متن برنامه¬هاي نرم افزاري مي¬باشد. براي اين منظور ابتدا مدل رفتاري برنامه بصورت يك شبكه پتري از متن برنامه استخراج مي شود. سپس، اين مدل كه نشانگر رفتار عادي و اصلي برنامه مي¬باشد براي تشخيص ناهنجاريهاي رفتاري برنامه¬هاي نرم¬افزاري در حين اجرا مورد استفاده قرار مي گيرد. با مشاهده رفتار نامتعارف بلافاصله برنامه متوقف و پيام رفتار نامتعارف صادر مي شود. واژه¬هاي كليدي : تحليل ايستا، شبكه¬هاي پتري، سيستمهاي تشخيص نفوذ، مدلسازي نرم-افزار، تشخيص ناهنجاري