فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 924
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CCCI06_048
تاریخ نمایه سازی: 13 اسفند 1391
چکیده مقاله:
با توجه به حساسیت اطلاعات سامانههایC4I تهدیدهای امنیتی وارده به این سامانهها در حال افزایش میباشند، لذا امنیت وقابلیت اطمینان یک چالش اساسی برای حفظ یکپارچگی، محرمانگی، در دسترس بودن و پاسخگو بودن برای این سامانهها می-باشد. استفاده از روشهای صوری بهمنظور توصیف، درستییابی و تولید برنامه صوری در دامنههای کاربردی مهم، از جمله سامانههایC4Iموجب افزایش قابلیت اطمینان این سامانهها، امنیت فضای سایبری و تبادل اطلاعات، خواهد شد. یکی از تکنیکها برایکشف و ردیابی حملات، شبیهسازی مهاجم و مدلسازی نحوه انتشار کرمها در حملات سایبری زنجیرههای مارکوف میباشند. در این مقاله سعی خواهد شد فرمالیسمی مبتنی برZ برای توصیف سامانههایC4I احتمالاتی که با کمک زنجیرههای مارکوف مدل می- شوند، ارائه شود. وجود چنین فرمالیسمی برخلاف روشهای دیگر مدلسازی مانند زنجیرههای مارکوف، علاوه بر توصیف نیازمندی های احتمالاتی، امکان توصیف نیازمندیهای وظیفهمندی سیستمهایC4Iرا نیز دربردارد. همچنین میتوان از ابزارهای متداولz مانندZ-evesبرای بررسی نوع و کنترل سازگاری توصیفهای آن، استفاده نمود. در نهایت برای نشان دادن قابلیت بکارگیری فرمالیسم ارائه شده، این فرمالیسم را بر روی مطالعه موردی در مورد نحوهی انتشار کرمها در حملات سایبری اعمال خواهیم کرد.
کلیدواژه ها:
نویسندگان
مهسا افشارفرنیا
دانشجوی، کارشناسی ارشد دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
حسن حقیقی
استادیار، دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :