Марковские процессы · непрерывное время
CTMC: Рубежи защиты
Непрерывная цепь Маркова
Состояния, интенсивности переходов и вероятности: исследуйте, как меры защиты меняют путь нарушителя и ожидаемые последствия атаки.
Что даст работа с моделью
Какие вопросы исследуем
- Как интенсивность перехода связана со временем ожидания?
- Почему удачный исход одной проверки не доказывает качество защиты?
- Как меняется выбор мер, если нарушитель уже внутри?
Что Вы сможете объяснить
Связывать действие защитника с изменением переходов модели и отличать результат одной атаки от вероятностного прогноза.
Что нужно знать заранее
Понадобятся базовые представления о вероятности и чтении графа. Интенсивности, уравнения Колмогорова и стационарные распределения объясняются в теории.
Границы разбора
Рассматриваем учебную марковскую модель с заданными состояниями, сценариями и интенсивностями. Сравниваем решения в её условиях; параметры конкретной реальной инфраструктуры здесь не оцениваем.
Выберите свой вход
Материалы модели
Теория
Состояния, параметры и допущения. Разберитесь, как читать уравнения и результаты.
Читать теорию 02 / ИССЛЕДОВАТЬЭксперимент
Меняйте сценарий, горизонт и набор защитных мер. Сравнивайте интенсивности, вероятности исходов, простой и ожидаемые потери.
Открыть исследование 03 / ПРИМЕНИТЬИгра
ЗащитникРаспределите учебный бюджет, выберите меры и сравните случайную историю атаки с вероятностным прогнозом.
ИгратьПредположите, какая стрелка изменится после выбора меры. Сопоставьте граф и матрицу Q, а затем сравните два набора защиты при одинаковом бюджете и начальном состоянии.
Общая теория марковских процессов служит основой конкретной модели «Защитника». В эксперименте можно менять параметры и сравнивать вероятностные прогнозы, а в игре — выбирать защиту и наблюдать случайный ход атаки. Вероятностный прогноз и единичный исход отвечают на разные вопросы.