ارزیابی منطقی و صوری یک پروتکل احراز هویت برای شهرهای هوشمند

سال انتشار: 1398
محل انتشار: پنجمین کنفرانس ملی مهندسی برق و مکاترونیک ایران
کد COI اختصاصی: ICELE05_276
زبان مقاله: فارسی
تعداد مشاهده: 703

نویسندگان

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

استادیار، دانشکده فنی مهندسی، دانشگاه شیخ بهایی اصفهان

چکیده

با توجه به نیاز روزافزون به طراحی و ارزیابی انواع پروتکلهای امنیتی برای راه اندازی شهرهای هوشمند، ارائه روشهای کارآمدی که بتوانند اطمینان لازم از صحت این پروتکل ها را ایجاد کنند، بسیار ضروری است. منطق باروز-ابادی-نیدهام، معروف به منطق BAN اولین منطق باور است که به طور گسترده ای برای تجزیه و تحلیل صوری کامل بودن پروتکل ها مورد استفاده قرار گرفته است. تلاش های زیادی نیز به منظور غلبه بر محدودیتهای آن صورت گرفته و منطق GNY (گونگ-نیدهام-یاهالوم)، به عنوان یکی از مشهورترین تعمیم های منطق BAN، به شکل موفقیت آمیزی افزونگی ها و یا نقص های موجود در پروتکلهای مختلف را آشکار کرده است. بنابراین، ما در این مقاله قصد داریم به منظور ارزیابی فرمال یک پروتکل احراز هویت که برای حفظ حریم خصوصی در شهرهای هوشمند قابل استفاده است، ضمن توصیف اهداف، گزاره ها و فرضیات مورد نیاز، از منطق GNY استفاده کنیم. نتیجه ارزیابی های ما نشان میدهد که پروتکل مذکور از امنیت لازم برخوردار بوده و مهاجمین با استفاده از حملات مرسوم قادر به نفوذ، ردیابی، جعل هویت، تزریق اطلاعات نادرست یا تحریف اطلاعات نیستند.

کلیدواژه ها

ارزیابی منطقی پروتکل، درستی یابی صوری، منطق BAN، منطق GNY، کانال امن.

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.