Security analysis of the information flows by memory in the computer systems with functional and parametric associated entities
Prikladnaâ diskretnaâ matematika, no. 1 (2009), pp. 117-125
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
The definition of the parametric associated entities with computer systems subjects is proposed. The DP-model extension included this entities is built.
[1] Devyanin P. N., Analiz bezopasnosti upravleniya dostupom i informatsionnymi potokami v kompyuternykh sistemakh, Radio i svyaz, M., 2006, 176 pp.
[2] Devyanin P. N., Modeli bezopasnosti kompyuternykh sistem, Ucheb. posobie dlya stud. vyssh. ucheb. zavedenii, Izdatelskii tsentr “Akademiya”, M., 2005, 144 pp.
[3] Robachevskii A., Operatsionnaya sistema UNIX, BKhV-Peterburg, SPb., 2000, 528 pp.
[4] Kachanov M. A., Kolegov D. N., “Rasshirenie funktsionalnosti sistemy bezopasnosti yadra Linux na osnove podmeny sistemnykh vyzovov”, Prikladnaya diskretnaya matematika, 2008, no. 2, 76–80