دانش رسان |
مرکز علم و دانش کشور مقاله توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله توصیف و وارسی ناهنجاری ها در سیاست امنیتی فایروال به کمک مدل ریاضی مبتنی بر منطق گزاره ای :
تعداد صفحات:۱۰
چکیده:
حضور ناهنجاری در پایگاه قواعد یک فایروال ، علاوه بر کاهش کارایی و گذردهی ، می تواند منجر به رخداد رخنه امنیتی در پیکرپندی فایروال شود. در این مقاله ، در ابتدا یک مدل ریاضی و صوری نوین مبتنی بر منطق گزاره ای برای توصیف پایگاه قواعد فایروال ارائه شده است. سپس بر مبنای این مدل ، ناهنجاری های قابل رخداد در سیاست امنیتی، در قالب قضایای منطق گزاره ای توصیف شده است. در این راستا علاوه بر ناهنجاری های ارائه شده در پژوهش های قبلی ، ناهنجاری های عام نیز برای اولین بار در این مدل توصیف و وارسی شده است. این مدل ریاضی امکان اثبات رخداد ناهنجاری ها در سیاست امنیتی را فراهم می نماید. جهت وارسی رخداد انواع ناهنجاری ها در سیاست امنیتی فایروال یک ابزار یاریگر اثبات مبتنی بر BDD بر روی قضایای تعریف شده در مدل ریاضی ، طراحی و پیاده سازی شده است. به طور خاص این مدل توصیف و وارسی صوری ، امکان کشف خطا در تعاریف قبلی از رخداد همبستگی را فراهم نموده و سناریوی جدیدی از رخداد این ناهنجاری ، در این مقاله بدست آمده است که منجر به تعریفی جامع از ناهنجاری همبستگی می شود.
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
