Mathematical Foundations of Computer Security

Results of realization conditions analysis for information flows by memory in ROSL DP-model

P. N. Devyanin

Moscow

Abstract: The role DP-model of Linux operating systems is considered. Conditions for realization in it of information flows by memory are analysed. Some results of the analysis are presented.

UDC: 004.94