مهدی نیکوقدم - دانشگاه فردوسی مشهد
هاله امین طوسی - دانشگاه فردوسی مشهد

همزمان با فراگیری استفاده از فناوری صوت بر روی IP (VoIP)برای انتقال داده های چند رسانه ای نظیر صوت و تصویر، پروتکل برقراری نشست(SIP)، در مرکز توجه بسیاری از تحقیقات قرار گرفته است. برای برقراری یک کانال ارتباطی امن بین دو طرف ارتباط با استفاده از SIP ، احرازهویت طرفین از اهمیت بالایی برخوردار است. در سال های اخیر، پژوهش های زیادی در زمینه پروتکل های احرازهویت انجام شده است که از جمله می توان طرحی سبک وزن برای احراز هویت درVoIP را که توسط ژنگ و همکاران ارائه شده نام برد. در این مقاله ابتدا اثبات خواهیم کرد طرح ژنگ در برابر حملات افشای پارامتر های تصادفی و منع سرویس مقام نیست و نیاز امنیتی محرمانگی رو به جلو را تامین نمی کند. در ادامه، پروتکلی سبک وزن وکارآمد ارائه کرده ایم و نشان داده ایم که پروتکل پیشنهادی در مقابل حملات مختلف مقاوم است و قادر به تامین نیازمندی های امنیتی اساسی همانند محرمانگی روبه جلو و گمنامی کاربر می باشد. همچنین عملکرد پروتکل پیشنهادی را به لحاظ پیچیدگی محاسباتی مورد بررسی قرار داده و نشان داده ایم که روش پیشنهادی در مقایسه با اغلب روشهای مشابه، دارای پیچیدگی محاسباتی کمتری می باشد. در نهایت، صحت پروتکل پیشنهادی را با ابزارهای رسمی Scyther و Proverif اثبات نموده ایم.

احرازهویت, Proverif, Scyther, SIP, VOIP