От сетей Петри до предсказания кибератак: формализуем процессы ИБ
«Сети Петри часто упоминают как формальный метод, но их реальная сила — моделировать именно процессы, где есть конкуренция, конфликт, ожидание. Киберинцидент как раз такой: он редко линейный, чаще это сеть событий, которые могут развиваться по нескольким сценариям. Формализация этого помогает не просто задокументировать атаку, а предсказать её развитие и расставить приоритеты в защите.» Что такое … Читать далее