فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی
- سال انتشار: 1391
- محل انتشار: ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران
- کد COI اختصاصی: CCCI06_048
- زبان مقاله: فارسی
- تعداد مشاهده: 930
نویسندگان
دانشجوی، کارشناسی ارشد دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
استادیار، دانشکده برق و کامپیوتر دانشگاه شهید بهشتی
چکیده
با توجه به حساسیت اطلاعات سامانههایC4I تهدیدهای امنیتی وارده به این سامانهها در حال افزایش میباشند، لذا امنیت وقابلیت اطمینان یک چالش اساسی برای حفظ یکپارچگی، محرمانگی، در دسترس بودن و پاسخگو بودن برای این سامانهها می-باشد. استفاده از روشهای صوری بهمنظور توصیف، درستییابی و تولید برنامه صوری در دامنههای کاربردی مهم، از جمله سامانههایC4Iموجب افزایش قابلیت اطمینان این سامانهها، امنیت فضای سایبری و تبادل اطلاعات، خواهد شد. یکی از تکنیکها برایکشف و ردیابی حملات، شبیهسازی مهاجم و مدلسازی نحوه انتشار کرمها در حملات سایبری زنجیرههای مارکوف میباشند. در این مقاله سعی خواهد شد فرمالیسمی مبتنی برZ برای توصیف سامانههایC4I احتمالاتی که با کمک زنجیرههای مارکوف مدل می- شوند، ارائه شود. وجود چنین فرمالیسمی برخلاف روشهای دیگر مدلسازی مانند زنجیرههای مارکوف، علاوه بر توصیف نیازمندی های احتمالاتی، امکان توصیف نیازمندیهای وظیفهمندی سیستمهایC4Iرا نیز دربردارد. همچنین میتوان از ابزارهای متداولz مانندZ-evesبرای بررسی نوع و کنترل سازگاری توصیفهای آن، استفاده نمود. در نهایت برای نشان دادن قابلیت بکارگیری فرمالیسم ارائه شده، این فرمالیسم را بر روی مطالعه موردی در مورد نحوهی انتشار کرمها در حملات سایبری اعمال خواهیم کرد.کلیدواژه ها
توصیف صوری، زنجیرههای مارکوف، زنجیره مارکوف زمان پیوسته، زنجیره مارکوف زمان گسسته، حملات سایبریمقالات مرتبط جدید
- سیستم تشخیص نفوذ در محیط رایانش ابری با استفاده از یادگیری ویژ گی
- کاهش هزینه تعمیراتی ماشین های سنگین از طریق بهبود الگوریتم درخت تصمیم با الگوریتم های انتخاب ویژگی Information Gain ،Correlation و SVM
- پردازش کوانتومی تصاویر پزشکی و تشخیص لبه آن با استفاده از الگوریتم QHED
- بررسی و مقایسه روشهای تشخیص اکانت های جعلی در شبکه های اجتماعی
- مکان یابی و مقدار بهینه منابع تولید پراکنده به منظورکاهش تلفات و بهبود انحراف ولتاژ شبکه نامتعادل توزیع
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.