ﺣﻤﻠﻪ كشف كليد عملي ﺭﻭي پروتكل ﺍﺣﺮﺍﺯ ﺍﺻﺎﻟﺖ ﻭ ﺗﻮﺍﻓﻖ كليد SecAuthUAV در شبكه پهپادها و ارائه يك پروتكل بهبود يافته

مفهوم اينترنت هواپيماهاي بدون سرنشين (IoD)، به معني كنترل، هدايت و استفاده از وسايل نقليه هوايي بدون سرنشين (UAV ها) يا پرنده هاي هدايت از راه دور (پهپادها) تحت اينترنت يا يك شبكه كامپيوتري است. اين مفهوم كه مي توان آن را يك كاربرد خاص از اينترنت اشيا(IoT) دانست، در برابر فرصت هايي كه ايجاد مي كند باعث تهديدات و آسيب پذيري هاي امنيتي نيز مي شود. براي جلوگيري از اين آسيب پذيري ها لازم است از پروتكل احراز اصالت و توافق كليد در ارتباطات ميان پهپادها با خودشان و نيز سرويس دهنده هاي زميني استفاده شود.در سال ۲۰۲۰ علادي و همكاران يك پروتكل احراز اصالت و توافق كليد همزمان مبتني بر توابع كپي ناپذير فيزيكي به نام SecAutUAV  ارائه دادند و امنيت طرح خود را با استفاده از روش هاي غيرصوري و صوري مورد بررسي قرار دادند. در اين مقاله نشان داده مي شود كه پروتكل علادي و همكاران در برابر حمله كشف كليد ضعف اساسي دارد و يك مهاجمي تواند تنها با استفاده از يك نشست، نشست توافق شده ميان پهپاد با ايستگاه زميني و يا پهپاد با پهپاد را به طور عملي به دست آورد. علاوه بر اين، حمله كشف مقادير محرمانه n بيتي با پيچيدگي محاسباتي برابر2×2 n2 روي اين پروتكل ارائه مي شود كه كوچكتر از پيچيدگي محاسباتي جستجوي جامع است. همچنين نشان داده مي شود كه يك مهاجم بعد از به دست آوردن مقادير محرمانه پروتكل، مي تواند جعل پهپاد و رديابي آن را انجام دهد. براي رفع ضعف هاي امنيتي پروتكل SecAutUAV، يك پروتكل بهبود يافته، ارائه شده و از نظر امنيت و كارايي با پروتكل SecAutUAV مقايسه مي شود. براي ارزيابي امنيتي پروتكل پيشنهادي از روش هاي غيرصوري (مقاومت در برابر برخي حملات شناخته شده) و صوري مبتني بر ابزار ProVerif  استفاده شده است. براي مقايسه كارايي دو پروتكل نيز از روش شمارش تعداد عملگرها و توابع آنها استفاده شده است. نتايج ارزيابي ها نشان مي دهد كه پروتكل بهبود يافته در مقايسه با پروتكل SecAutUAV، يك پروتكل امن و كارآ است.