11948

11948

درستي يابي صوري يك پروتكل تبادل كليد با رمزعبور احراز اصالت شده

كارشناسي ارشد

برق - مخابرات

مهرماه 1391

مهرماه 1391

دكتر هادي شهريار شاه حسيني

چكيده در شبكه¬هاي كامپيوتري، ركن اصلي ارتباط بين اجزاي شبكه، پروتكل¬ها هستند. برقراري ارتباط بين برنامه¬هاي سطح كاربر، مديريت شبكه، برقراري ارتباط بين اجزاي متناظر در لايه¬هاي مختلف شبكه از جمله اهداف پروتكل¬ها هستند. در شبكه¬هاي كامپيوتري كه تركيبي از مسيرياب¬ها، راه گزين¬ها و سرورها هستند، به منظور مديريت همه¬ي ابزارهاي شبكه، بايد از كاركرد بهينه¬ي آنها آگاه شد. مسئله¬اي كه در محيط شبكه حائز اهميت است، امنيت سامانه¬هاي موجود در آن است. در مورد شبكه¬هاي كامپيوتري، بسياري از آسيب¬ها و حملات وارد شده به اجزاي شبكه، ناشي از ضعف¬هاي امنيتي پروتكل¬ها است. همان¬طور كه ذكر شد، يكي از فعاليت¬هاي اصلي در مديريت شبكه، مديريت امنيت است. قبل از به كاربردن يك پروتكل امنيتي بايد درستي آن اثبات شود و اين موضوع اهميت بسيار بالايي دارد. در پروتكل¬هاي پروتكل تبادل كليد با رمزعبور احراز اصالت شده از يك رمزعبور به اشتراك گذاشته شده جهت توليد كليد رمزنگاري و احراز اصالت استفاده مي¬شود، اين پروتكل¬ها در برابر انواع حملات رايج شناخته شده مقاوم مي¬باشند. در اين پايان نامه چندين پروتكل معروف دراين حوزه مورد تجزيه و تحليل امنيتي قرار مي¬گيرند و از ميان آنها يكي از پروتكل¬هاي پيشنهادي برگزيده و به روش وارسي مدل توسط يكي از ابزارهاي صوري مورد بررسي قرارمي¬گيرد و از منظراحراز اصالت و رازماني مورد تحليل قرار مي¬گيرد و نياز هاي بعدي براي بهبود پروتكل مطرح و منجر به پيشنهاد پروتكل جديدي در اين زمينه مي¬گردد. واژه‌هاي كليدي: پروتكل تبادل كليد، احراز اصالت،درستي¬يابي¬صوري، AVISPA ، APPMA