Mendeley
TY  _  JOUR
ID  -  1402072344407
TI  -  بهبود معیار پوشش کد برای کشف آسیب پذیری در پروتکل‌های شبکه دارای حالت توسط فازینگ ترکیبی
JO  -  فصلنامه فناوری اطلاعات و ارتباطات ایران
JA  -  ES
LA  -  fa
SN  -  2717-0411
AU  -  رضایی رهورد حمید
AU  -  سالخورده حقیقی مهدی
AD  -  
AD  -  دانشکده مهندسی کامپیوتر و فناوری اطلاعات، دانشگاه سجاد، مشهد 
Y1  -  2024
PY  -  2024
VL  -  61
IS  -  16
SP  -  72
EP  -  84
KW  -  آزمون نرم افزار
KW  -   آزمون فازینگ
KW  -   آزمون پروتکل های شبکه
KW  -   آسیب پذیری
KW  -   اجرای نمادین
KW  -   اجرای پویا-نمادین
DO  -  
N2  -  <p>فازینگ نرم&zwnj;افزار، روشی برای یافتن آسیب&zwnj;پذیری&zwnj;های امنیتی در برنامه&zwnj;های کاربردی است. در این روش با ارسال داده&zwnj;های تصادفی به برنامه، سعی می&zwnj;شود مواردی پیدا شود که منجر به رفتارهای نامطلوب و خطاهایی همچون خرابی حافظه یا دسترسی&zwnj;های غیرمجاز شود. یکی از روش&zwnj;های پیشنهادی برای بهبود و اثربخشی فازینگ، استفاده از تحلیل نمادین و اجرای پویا-نمادین است. در این روش علاوه بر تولید داده&zwnj;های تصادفی، از تحلیل منطقی برنامه و اجرای نمادین آن برای تولید داده&zwnj;هایی استفاده می&zwnj;شود که بتوانند مسیرهای جدیدی از اجرای برنامه را پوشش دهند. در این پژوهش نشان داده&zwnj;ایم که می&zwnj;توان از روش اجرای پویا-نمادین برای فازینگ پروتکل&zwnj;های شبکه استفاده نمود و همچنین این فرایند را بهبود بخشید. بدین منظور اولین چارچوب برای فازینگ ترکیبی پروتکل&zwnj;های شبکه طراحی و پیاده&zwnj;سازی شده است. نتایج بر روی دو سرویس dcmtk و dnsmasq نشان می&zwnj;دهند که فازینگ ترکیبی در معیار پوشش کد نسبت به فازینگ سنتی عملکرد بهتری دارد. پوشش شاخه در سرویس dcmtk مقدار 2.71 درصد نسبت به AFLNet بهبود داشته است که توانسته عملکرد منفی NyxNet نسبت به AFLNet را مثبت نماید. همچنین پوشش شاخه در سرویس dnsmasq نسبت به AFLNet مقدار 37.72 درصد و نسبت به NyxNet مقدار 11.82 درصد بهبود داشته است.</p>
UR  - rimag.ir/fa/Article/44407
L1  - rimag.ir/fa/Article/Download/44407
ER  -  
