USING DESCRIPTION LOGICS FOR MAN IN THE MIDDLE ATTACK ANALYSIS

  • سال انتشار: 1384
  • محل انتشار: یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
  • کد COI اختصاصی: ACCSI11_256
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 1086
دانلود فایل این مقاله

نویسندگان

Reza Zakeri

Sharif University of Technology Computer Engineering Dep.Azadi Ave., Tehran, Iran

Rasool Jalili

Hamid Reza Shahriari

چکیده

The emerging size and complexity of computer networks and also various services provided by them makes the networks vulnerable to numerous attacks. Although in the last few years a more logical approach to TCP/IP network security problem has been followed, a complete and sound formal approach to this problem is lacking. In this paper, we propose using Description Logics as a formal model to analyze TCP/IP networks against one of famous attack categories, i.e. Man in the Middle (MITM). This model allows verifying and proofing network safety or vulnerability against this attack.

کلیدواژه ها

Network security, formal analysis, man in the middle attack, and description logics

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

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

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

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