RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika // Archive

Prikl. Diskr. Mat., 2010 Number 1(7), Pages 16–36 (Mi pdm161)

This article is cited in 3 papers

Mathematical Foundations of Computer Security

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

P. N. Devyanin

Institute of Cryptography, Communications and Informatics, Moscow, Russia

Abstract: In the paper, we consider computer systems with only simple trajectories of functioning and with the any number of the cooperated user sessions that do not get access owning to each other by using the information flows by memory to essences functionally associated with the user sessions. For these systems, the conditions for transfering access rights and realizing information flows by memory are formulated and proved within the base role DP-model.

Keywords: computer security, base role DP-model.

UDC: 004.94



© Steklov Math. Inst. of RAS, 2026