Построение архитектуры с использованием формальных моделей безопасности

Мой доклад с HighLoad 2022 Как упростить жизнь программистам, DevOps и security-инженерам, не зная об этом? А находить уязвимости в системе, ничего не зная о безопасности? В конце концов, как уничтожить звезду смерти Netflix? Все это мы узнаем на встрече, а также увидим Left от ShiftLeft, поговорим о построении архитектуры современного продукта с помощью нотации DFD, обсудим формальные модели безопасности и научимся их применять к нашему продукту.