برای اطلاع از آخرین مقالات علمی و اخبار کرونا(COVID-19) کلیک کنید

مشخصات مقاله

عنوان: 

توصيف و وارسي ناهنجاري ها در سياست امنيتي فايروال به کمک مدل رياضي مبتني بر منطق گزاره اي

نوع ارائه: مقاله
نویسنده: رضواني محسن,آرين رامتين
 
 
 
عنوان همایش: كنفرانس ملي سالانه انجمن كامپيوتر ايران
نوع همایش:  انجمن هاي علمي
حامی:  انجمن کامپیوتر ایران، دانشگاه صنعتی امیرکبیر
زمان:  1387دوره 14
 
 
چکیده: 

حضور ناهنجاري در پايگاه قواعد يک فايروال، علاوه بر کاهش کارايي و گذردهي، مي تواند منجر به رخداد رخنه امنيتي در پيکرپندي فايروال شود. در اين مقاله، در ابتدا يک مدل رياضي و صوري نوين مبتني بر منطق گزاره اي براي توصيف پايگاه قواعد فايروال ارائه شده است. سپس بر مبناي اين مدل، ناهنجاري هاي قابل رخداد در سياست امنيتي، در قالب قضاياي منطق گزاره اي توصيف شده است. در اين راستا علاوه بر ناهنجاري هاي ارائه شده در پژوهش هاي قبلي، ناهنجاري هاي عام نيز براي اولين بار در اين مدل توصيف و وارسي شده است. اين مدل رياضي امکان اثبات رخداد ناهنجاري ها در سياست امنيتي را فراهم مي نمايد. جهت وارسي رخداد انواع ناهنجاري ها در سياست امنيتي فايروال يک ابزار ياريگر اثبات مبتني بر BDD بر روي قضاياي تعريف شده در مدل رياضي، طراحي و پياده سازي شده است. به طور خاص اين مدل توصيف و وارسي صوري، امکان کشف خطا در تعاريف قبلي از رخداد همبستگي را فراهم نموده و سناريوي جديدي از رخداد اين ناهنجاري، در اين مقاله بدست آمده است که منجر به تعريفي جامع از ناهنجاري همبستگي مي شود.

 
کلید واژه: فايروال، پايگاه قواعد، ناهنجاري، ناهنجاري عام
 
مقالات نشریه ای مرتبط: 
 
مقالات همایشی مرتبط: 
 
 
بازدید یکساله 72   pdf-file
 
آخرین های بلاگ
ورود به بلاگ مرکز اطلاعات علمی