Формализация и моделирование в области безопасности