Галатенко Алексей Владимирович (кандидат физико-математических наук, доцент)

• Дипломная работа (2022): Об одном классе формальных моделей безопасности.