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

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

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