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 Tomask State UniversityTomsk State University
  • Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(9)
  • Date:
  • DOI
Keywords
компьютерная безопасность, информационный поток, Linux, information flows, Linux, security
Authors
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).
SECURITY ANALYSIS OF INFORMATION FLOWS IN GNU/LINUX OPERATING SYSTEMS | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).