ارائه پروتكلي جامع و سبك وزن براي احرازهويت دو طرفه دستگاه‌هاي VoIP مبتني بر كارت هوشمند

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