آنالیز پروتکل تصدیق هویت متقابل EBH توسط منطق BAN

سیستم شناسایی از طریق امواج رادیویی، یکی از فناوری های محاسباتی فراگیر می باشد که وجود مزایای فراوان آن، باعث گردیده است تا جایگزین سایر فناوری های شناسایی خودکار گردد. با این وجود، این فناوری دارای آسیب پذیری ذاتی بوده و در معرض طیف گسترده ای از تهدیدات امنیتی می باشد. تاکنون پروتکل های تصدیق هویت زیادی در رابطه با امنیت لازم را برآورده نکرده اند. با توجه به بررسی های صورت گرفته روی پروتکل ها، این نتیجه حاصل شد که پروتکل تصدیق هویت متقابل Eslamnezhad, Badihiyeh ) EBH D 2011Aghdam, Hosseinzadeh) ، نسبت به پروتکل های دیگر نه تنها از امنیت بیشتری برخوردار می باشد، بلکه دارای کارایی بالایی بوده و سریع نیز می باشد. احتیاج ضروری برای اثبات نتایج امنیتی ادعا شده ی این پروتکل باعث گردید تا در این مقاله، امنیت این پروتکل به صورت ساختار یافته، مورد بررسی واقع شود. لذا از میان منطق های معتبری که برای ارزیابی پروتکل های تصدیق هویت وجود دارد، منطق BAN به دلیل قدرتمند بودن و بیان ساده، به عنوان ابزاری مهم برای بررسی ساختار یافته ی امنیت پروتکل مذکور استفاده گردید. در حقیقت توسط منطق BAN، پروتکل تصدیق هویت EBH با در نظر گرفتن تمام فرضیات اولیه اش به صورت گام به گام توصیف گردید و ملاحظه شد که پروتکل پیشنهادی توانسته نگرانی های امنیتی و محرمانگی موجود در سیستم شناسایی از طریق امواج رادیویی را برطرف نماید.

Keywords:

منطق BAN , سیستم شناسایی از طریق امواج رادیویی , تهدید امنیتی , تصدیق هویت , امنیت