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

مفهوم اینترنت اشیا (IoT) که در سالهای اخیر در حال فراگیر شدن است. یک مصداق مهم از پیشرفت فناوری ها در حوزهشبکه های کامپیوتری است. به طوری که در حال حاضر این فناوری در جنبه های مختلف مانند سلامت پزشکی، کشاورزی وسیستم های نظارتی کاربردهای بسیار پیدا کرده است. یکی از کاربردهای مهم اینترنت اشیا، استفاده از پرنده های هدایت پذیردر حوزه نظامی است. بنابراین اینترنت پهپاد یک مصداق مهم در اینترنت اشیا معرفی میشود. بدیهی است با توجه به کاربردوسیع پهپادها در حوزه های مختلف، امنیت اطلاعات یک امر مهم تلقی میشود. برای استفاده مناسب از پهپادها لازم استاطمینان حاصل شود که مهاجم نتواند به اطلاعات مهم پهپادها دسترسی داشته باشند. با توجه به این که احراز اصالت اولینپل ارتباطی برای برقراری امنیت است بنابراین این منظور پروتکل های احراز اصالت در سالهای اخیر توسط پژوهشگران موردتحلیل و ارزیابی قرار گرفته اند. از این پروتکل ها می توان به SecAuthUAV و Drone-MAP اشاره کرد که در سالهای۲۰۲۰ و ۲۰۲۱ طراحی شده اند. با توجه به این که سه پروتکل ذکر شده برای انجام محاسبات خود در یک نشست سرعتپایینی دارند با مطالعه انجام شده این نتیجه حاصل شد که با انجام محاسبات کمتر میتوان پروتکلی مشابه که سرعتمحاسباتی بالاتری نسبت به سه پروتکل دارد طراحی کرد. اثبات امنیتی پروتکل پیشنهادی به روش صوری و با استفاده ازابزار تحلیل خودکار ProVerif صورت می گیرد.

اینترنت پهپاد، پروتکل های احراز اصالت مبتنی بر PUF ، ابزار ProVerif