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)
- Date:
- DOI
Keywords
компьютерная безопасность, информационный поток, Linux, information flows, Linux, securityAuthors
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
Download fileCounter downloads: 208