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