الهام منجزی - دانشجوی کارشناسی ارشد ریاضی محض دانشگاه دامغان

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

پروتکل امنیتی، آنالیز پروتکل، روش صوری، حمله ی انعکاسی