توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای
- سال انتشار: 1387
- محل انتشار: چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران
- کد COI اختصاصی: ACCSI14_133
- زبان مقاله: فارسی
- تعداد مشاهده: 1359
نویسندگان
عضو هیات علمی دانشکده ی مهندسی فناوری اطلاعات و کامپیوتر، دانشگاه صن
دانشجوی دانشکده ی مهندسی فناوری اطلاعات و کامپیوتر، دانشگاه صنعتی شا
چکیده
حضور ناهنجاری در پایگاه قواعد یک فایروال ، علاوه بر کاهش کارایی و گذردهی ، می تواند منجر به رخداد رخنه امنیتی در پیکرپندی فایروال شود. در این مقاله ، در ابتدا یک مدل ریاضی و صوری نوین مبتنی بر منطق گزاره ای برای توصیف پایگاه قواعد فایروال ارائه شده است. سپس بر مبنای این مدل ، ناهنجاری های قابل رخداد در سیاست امنیتی، در قالب قضایای منطق گزاره ای توصیف شده است. در این راستا علاوه بر ناهنجاری های ارائه شده در پژوهش های قبلی ، ناهنجاری های عام نیز برای اولین بار در این مدل توصیف و وارسی شده است. این مدل ریاضی امکان اثبات رخداد ناهنجاری ها در سیاست امنیتی را فراهم می نماید. جهت وارسی رخداد انواع ناهنجاری ها در سیاست امنیتی فایروال یک ابزار یاریگر اثبات مبتنی بر BDD بر روی قضایای تعریف شده در مدل ریاضی ، طراحی و پیاده سازی شده است. به طور خاص این مدل توصیف و وارسی صوری ، امکان کشف خطا در تعاریف قبلی از رخداد همبستگی را فراهم نموده و سناریوی جدیدی از رخداد این ناهنجاری ، در این مقاله بدست آمده است که منجر به تعریفی جامع از ناهنجاری همبستگی می شود.کلیدواژه ها
فایروال ، پایگاه قواعد، ناهنجاری، ناهنجاری عاممقالات مرتبط جدید
- بررسی محاسن بهره گیری از فناوری هوش مصنوعی در تحلیل و طراحی مدارهای الکترونیکی
- تاثیر گازرسانی به مراکز کشاورزی استان خراسان جنوبی در افزایش راندمان تولید و ارتقای سود اقتصادی
- سیستمهای پیشنهاددهندهی مبتنی بر شخصیت کاربران
- طراحی و تنظیم ولتاژ خروجی مبدل دی سی به دی سی افزاینده با در نظر گرفتن تغییرات بار و منبع تغذیه با استفاده از شبکههای عصبی شعاعی بهینه شده
- مکان یابی ایستگاه اورژانس داخل شهری با استفاده از روش ویکور (مطالعه موردی: شهر اسفراین)
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.