Mathematical Foundations of Computer Security

Security analysis of systems with simple trajectories functioning within framework of the base role DP-model

P. N. Devyanin

Institute of Cryptography, Communications and Informatics, Moscow

Abstract: Conditions for transferring access rights and realizing memory information flows in computer systems are formulated and proved within framework of base role DP-model. Thus only simple trajectories of system functioning are examined when the any number of user sessions are cooperated and they do not get owning access to each other with the use of memory information flows to essences functionally associated with the user sessions.

UDC: 004.94