SECURITY ANALYSIS OF INFORMATION FLOWS IN GNU/LINUX OPERATING SYSTEMS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).

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

Download file

Counter downloads: 61

Title SECURITY ANALYSIS OF INFORMATION FLOWS IN GNU/LINUX OPERATING SYSTEMS
Headline SECURITY ANALYSIS OF INFORMATION FLOWS IN GNU/LINUX OPERATING SYSTEMS
Publesher Tomsk State University
Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(9) 9/2010
Date: 9/2010
DOI

Keywords

компьютерная безопасность, информационный поток, Linux, information flows, Linux, security

Authors

Kachanov M. A.

m.a.kachanov@gmail.com

References

<http://selinuxproject.org/page/Main_Page> - SELinux Project Wiki. 2010.

Качанов М.А. Замыкание базовой ролевой ДП-модели // Прикладная дискретная математика. 2009. Приложение №1. С. 41-44.

<http://selinux-symposium.org/2005/presentations/session5/5-3-macmillan.pdf> - SELinux Symposium. 2005.

Zanin G., Mancini L. Towards a formal model for security policies specification and validation in the selinux system // Proc. of the ninth ACM symposium on Access control models and technologies. NY, USA: ACM, 2004. P. 136-145.

Девянин П. Н. Анализ безопасности управления доступом и информационными потоками в компьютерных системах. М.: Радио и связь, 2006. 176 с.

SECURITY ANALYSIS OF INFORMATION FLOWS IN GNU/LINUX OPERATING SYSTEMS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).

Download full-text version

Counter downloads: 209

Download file