Geodesic
Security violation necessary conditions for time information flows in MROSL DP-model
Prikladnaya Diskretnaya Matematika. Supplement, no. 8 (2015), pp. 81-83

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

This article presents a theorem about the security violation necessary conditions for time information flows in Linux family operating systems. The conditions are easily to implement. According to these conditions, to prevent prohibited time information flows it is necessary: 1) to eliminate containers where both the Boolean mandatory attribute CCR (Container Clearance Required) and the integrity attribute CCRI (CCR for integrity) are true; 2) to eliminate containers which include entities with less level of confidentiality; 3) to completely prohibit using entities-“holes” not saving data or use their implementation not creating time information flows. After this, for the access control security in OS Astra Linux Special Edition, it is sufficient to ensure the memory information flows security in the sense of Bell–LaPadula model and the mandatory integrity control.
Keywords: computer security, formal model, information flow. 
@article{PDMA_2015_8_a29,
     author = {P. N. Devyanin},
     title = {Security violation necessary conditions for time information flows in {MROSL} {DP-model}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {81--83},
     publisher = {mathdoc},
     number = {8},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2015_8_a29/}
}
TY  - JOUR
AU  - P. N. Devyanin
TI  - Security violation necessary conditions for time information flows in MROSL DP-model
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2015
SP  - 81
EP  - 83
IS  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2015_8_a29/
LA  - ru
ID  - PDMA_2015_8_a29
ER  - 
%0 Journal Article
%A P. N. Devyanin
%T Security violation necessary conditions for time information flows in MROSL DP-model
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2015
%P 81-83
%N 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2015_8_a29/
%G ru
%F PDMA_2015_8_a29
P. N. Devyanin. Security violation necessary conditions for time information flows in MROSL DP-model. Prikladnaya Diskretnaya Matematika. Supplement, no. 8 (2015), pp. 81-83. http://geodesic.mathdoc.fr/item/PDMA_2015_8_a29/