فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی
Publish place: 6th Conference of Irans Scientific Society of Command, Control, Communications, Computers and Intelligences
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 915
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CCCI06_048
تاریخ نمایه سازی: 13 اسفند 1391
Abstract:
با توجه به حساسیت اطلاعات سامانههایC4I تهدیدهای امنیتی وارده به این سامانهها در حال افزایش میباشند، لذا امنیت وقابلیت اطمینان یک چالش اساسی برای حفظ یکپارچگی، محرمانگی، در دسترس بودن و پاسخگو بودن برای این سامانهها می-باشد. استفاده از روشهای صوری بهمنظور توصیف، درستییابی و تولید برنامه صوری در دامنههای کاربردی مهم، از جمله سامانههایC4Iموجب افزایش قابلیت اطمینان این سامانهها، امنیت فضای سایبری و تبادل اطلاعات، خواهد شد. یکی از تکنیکها برایکشف و ردیابی حملات، شبیهسازی مهاجم و مدلسازی نحوه انتشار کرمها در حملات سایبری زنجیرههای مارکوف میباشند. در این مقاله سعی خواهد شد فرمالیسمی مبتنی برZ برای توصیف سامانههایC4I احتمالاتی که با کمک زنجیرههای مارکوف مدل می- شوند، ارائه شود. وجود چنین فرمالیسمی برخلاف روشهای دیگر مدلسازی مانند زنجیرههای مارکوف، علاوه بر توصیف نیازمندی های احتمالاتی، امکان توصیف نیازمندیهای وظیفهمندی سیستمهایC4Iرا نیز دربردارد. همچنین میتوان از ابزارهای متداولz مانندZ-evesبرای بررسی نوع و کنترل سازگاری توصیفهای آن، استفاده نمود. در نهایت برای نشان دادن قابلیت بکارگیری فرمالیسم ارائه شده، این فرمالیسم را بر روی مطالعه موردی در مورد نحوهی انتشار کرمها در حملات سایبری اعمال خواهیم کرد.
Keywords:
Authors
مهسا افشارفرنیا
دانشجوی، کارشناسی ارشد دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
حسن حقیقی
استادیار، دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :