Geodesic
Security analysis of information flows in \textit{GNU/Linux} operating systems
Prikladnaâ diskretnaâ matematika, no. 3 (2010), pp. 77-89.

Voir la notice de l'article provenant de la source Math-Net.Ru

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, security.
Mots-clés : Linux 
@article{PDM_2010_3_a6,
     author = {M. A. Kachanov},
     title = {Security analysis of information flows in {\textit{GNU/Linux}} operating systems},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {77--89},
     publisher = {mathdoc},
     number = {3},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_3_a6/}
}
TY  - JOUR
AU  - M. A. Kachanov
TI  - Security analysis of information flows in \textit{GNU/Linux} operating systems
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 77
EP  - 89
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_3_a6/
LA  - ru
ID  - PDM_2010_3_a6
ER  - 
%0 Journal Article
%A M. A. Kachanov
%T Security analysis of information flows in \textit{GNU/Linux} operating systems
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 77-89
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2010_3_a6/
%G ru
%F PDM_2010_3_a6
M. A. Kachanov. Security analysis of information flows in \textit{GNU/Linux} operating systems. Prikladnaâ diskretnaâ matematika, no. 3 (2010), pp. 77-89. http://geodesic.mathdoc.fr/item/PDM_2010_3_a6/

[1] Devyanin P. N., Analiz bezopasnosti upravleniya dostupom i informatsionnymi potokami v kompyuternykh sistemakh, Radio i svyaz, M., 2006, 176 pp.

[2] 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, ACM, NY, USA, 2004, 136–145

[3] SELinux Symposium, , 2005 http://selinux-symposium.org/2005/presentations/session5/5-3-macmillan.pdf

[4] Kachanov M. A., “Zamykanie bazovoi rolevoi DP-modeli”, Prikladnaya diskretnaya matematika, 2009, Prilozhenie No 1, 41–44

[5] SELinux Project Wiki, , 2010 http://selinuxproject.org/page/Main_Page