Сычев А.М., Мещерякова Т.В., Скрыль К.С., Белый Г.Ю. Формальные основы математического представления моделей нарушения безопасности информации сегментов ведомственной инфокоммуникационной инфраструктуры