Mathematical Foundations of Computer Security

Security analysis of information flows in GNU/Linux operating systems

M. A. Kachanov

Tomsk State University, Tomsk, Russia

Abstract: The paper addresses to information flow analysis in GNU/Linux operating systems. Information flows by time with the participation of legal subjects are described, and some examples are given. A method for checking the possibility of information flows by memory between entities in a computer system hardened by SELinux is suggested.

Keywords: information flows, Linux, security.

UDC: 004.94