محمد بهشتی آتشگاه - مجتمع دانشگاهی فناوری اطلاعات، ارتباطات و امنیت، دانشگاه صنعتی مالک اشتر، تهران- شرکت صنایع امنیت فضای تبادل اطلاعات صا ایران
مجید بیات - گروه مهندسی کامپیوتر، دانشگاه شاهد، تهران
محمدرضا عارف - دانشکده مهندسی برق، دانشگاه صنعتی شریف، تهران
مرتضی براری - مجتمع دانشگاهی فناوری اطلاعات، ارتباطات و امنیت، دانشگاه صنعتی مالک اشتر، تهران

اینترنت اشیاء (IoT) مفهومی است که در آن، هرشیء و چیزی در زیرساخت اینترنت به یک شبکه وسیع پویای جهانی متصل می شود. به منظور رسیدن به هدف نهایی اینترنت اشیاء، IoT از مزایای دیگر فناوری ها همانند RFID ها، شبکه های حسگر بی سیم (WSN)، ارتباطات ماشین به ماشین (M2M)، داده بزرگ و رایانش ابری بهره می برد. شبکه های حسگر بی سیم (WSN) یکی از اجزای اصلی و مهم در مفهوم IoT به شمار می رود که تقریبا در تمامی حوزه های کاربردی IoT قابل استفاده است. به دلیل اهمیت امنیت شبکه های حسگر بی سیم، محققین تاکنون بر روی تکنیک های، طرح ها و پروتکل های جدید و کارآمد حوزه های مختلف امنیتی آن از جمله طرح های احرازاصالت کار کرده اند. در سال گذشته، Wu و همکارش یک طرح احرازاصالت جدید برای اینترنت اشیاء و مبتنی بر شبکه های حسگر بی سیم ارایه نمودند. آن ها در مقاله خود، رویکرد جدیدی را مطرح نمودند که در آن، یک کاربر IoT می تواند از طریق یک دروازه با یک گره مشخص در شبکه WSN احرازاصالت بشود. علاوه بر آن، طرح آن ها ویژگی محافظت از حریم خصوصی را برآورده نموده وهمچنین اثبات امنیتی دارد. به هر حال، در این مقاله نشان داده می شود که طرح Wu و همکارش در برابر برخی حملات دچار آسیب پذیری می باشد. در این مقاله قصد بر آن است تا با برطرف نمودن ضعف های طرح Wu همکارش، یک طرح جدید و بهبودیافته ارایه گردد. همچنین امنیت طرح جدید ارایه شده با استفاده از اثبات امنیتی احتمالاتی و همچنین ابزار رسمی ProVerif اثبات شده و نهایتا با دیگر طرح های مطرح مقایسه می شود.

اینترنت اشیاء،شبکه حسگر بی سیم، طرح احرازاصالت کاربر، اثبات امنیتی، محافظت از حریم خصوصی، کارت هوشمند