Gnatyuk, S., Verkhovets, O. ., Tolbatov, A. . and Krasovska, Y. . (2021) “INFORMATION FLOWS FORMALIZATION FOR BSD FAMILY OPERATING SYSTEMS SECURITY AGAINST UNAUTHORIZED INVESTIGATION”, Electronic Professional Scientific Journal «Cybersecurity: Education, Science, Technique», 1(13), pp. 145–157. doi: 10.28925/2663-4023.2021.13.145157.