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