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