با توجه به رشد و گسترش اپلیکیشن ها و سرویس های مختلف اینترنت اشیا که در حوزه هایی از قبیل نظارت، سلامت، امنیت و غیره مورد استفاده قرار گرفته اند، این سرویس ها از طریق دستگاه های هوشمند در هر جا و هر زمان و هر مکانی می تواند در دسترس کاربران قرار گیرد. این دسترسی ها می تواند مساله امنیت و حریم شخصی را به امری حساس و حیاتی در بستر اینترنت اشیا تبدیل نماید. احراز هویت کاربران در حال تبدیل شدن به یکی از حساس ترین مفاهیم در رشد و گسترش محیط اینترنت اشیا (IoT) است. علاوه بر این امنیت مساله ای مهم در اینترنت اشیا است که امکان دسترسی ایمن را به خدمات فراهم می آورد؛ روش های چند عاملی احراز هویت امکان افزایش امنیت را به ما می دهند. موضوع این پایان نامه پروتکل احراز هویت متقابل یا دو طرفه دستگاه به دستگاه طراحی شده برای شبکه خانه های هوشمند است که یک عنصر اساسی ارتباطی در اینترنت اشیاء به حساب می آید.این پروتکل بر اساس رمزنگاری نامتقارن برای احراز هویت دستگاه های موجود در شبکه طراحی شده است و در آن تمامی دستگاه ها یک کلید جلسه خصوصی مشترک دارند. برای حصول اطمینان از امنیت ارتباطات جلسه بین چندین دستگاه، کلیدهای جلسه مرتبا و به صورت ایده آل پس از هر جلسه ارتباطی، تغییر می کنند. برنامه نویسی طرح پیشنهادی بوسیله HLPSL و شبیه سازی و تایید بهینه بودن آن توسط ابزار SPAN و AVISPA انجام شده است. تحلیل امنیتی اثبات می کند که این روش در مقابل حملات امنیتی متعدد انسجام خود را حفظ می نماید.
