|
Prikladnaya Diskretnaya Matematika. Supplement, 2014, Issue 7, Pages 82–85
(Mi pdma140)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematical Foundations of Computer Security
Security conditions for information flows by memory within the MROSL DP-model
P. N. Devyanin Moscow
Abstract:
Some sufficient conditions for security of information flows by memory are analysed within a mandatory entity-role security model of access and information flows control in OS Linux set (MROSL DP-model). The implementation of this conditions provides, firstly, a mandatory integrity control (MIC) preventing any modification (via a proper information flow by memory) of entities with a certain integrity level by a subject-session with a small integrity level, and, secondly, a mandatory access control (MAC) preventing information flows by memory from entities with a high level of confidentiality to entities with a low level of confidentiality.
Keywords:
computer security, formal model, information flow, access control.
Citation:
P. N. Devyanin, “Security conditions for information flows by memory within the MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2014, no. 7, 82–85
Linking options:
https://www.mathnet.ru/eng/pdma140 https://www.mathnet.ru/eng/pdma/y2014/i7/p82
|
Statistics & downloads: |
Abstract page: | 909 | Full-text PDF : | 493 | References: | 84 |
|