Maksym Lutskyi, Sergiy Gnatyuk, Oleksii Verkhovets, Artem Polozhentsev. Information Flows Formalization for BSD Family Operating Systems Security Against Unauthorized Investigation. In Emil Faure, Olena Danchenko, Maksym Bondarenko, Yurii Tryus, Constantine Bazilo, Grygoriy Zaspa, editors, Information Technology for Education, Science, and Technics - Proceedings of ITEST 2022, Cherkasy, Ukraine, 23-25 June 2022. Volume 178 of Lecture Notes on Data Engineering and Communications Technologies, pages 235-246, Springer, 2022. [doi]
Abstract is missing.