S. Gnatyuk, O. . Verkhovets, A. . Tolbatov, і Y. . Krasovska, «ФОРМАЛІЗАЦІЯ ІНФОРМАЦІЙНИХ ПОТОКІВ ДЛЯ ЗАХИСТУ ОПЕРАЦІЙНИХ СИСТЕМ СІМЕЙСТВА BSD ВІД НЕСАНКЦІОНОВАНОГО ДОСЛІДЖЕННЯ», Кібербезпека: освіта, наука, техніка, вип. 1, вип. 13, с. 145–157, Вер 2021.