دانلود مقالات کامپیوتر

قواعدي كه عامل هاي مديريت امنيت در شبكه بر اساس آن كار مي كنند خط مشي ناميده مي شود. بررسي تركيب يا اعمال موازي خط مشي هايي كه بايد به صورت حالتمند پياده سازي شوند، از مسايل مشكلي است كه كه بدون استفاده از روش هاي صوري قابل انجام نيست. ابتدا مكانيسم هاي اعمال خط مشي هاي شبكه را با آتاماتاي امنيتي مدل كرده سپس نحوه تعريف خط مشي هاي امنيتي را بر پايه مدل ارايه شده بيان مي نماييم. با استفاده از اين روش شرايط مربوط به سازگاري خط مشي ها از جمله وجود افزونگي و تناقض تعريف مي گردد و بر اساس منطق قابل فسخ سيستم هاي حافظ تحليل مي شوند. اگر چه در اين مقاله خاص حفاظ هاي حالتمند بحث مي شود ولي مدل ارايه شده، بر اساس قدرت بيان و سبك مدلسازي آن براي طيف وسيعي از كاربردهاي شبكه قابل انجام است