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

Prikl. Diskr. Mat., 2009 Number 3(5), Pages 69–84 (Mi pdm134)

This article is cited in 3 papers

Mathematical Foundations of Computer Security

Analysis of conditions for reception of access owning within the base role DP-model of computer systems without memory information flows

P. N. Devyanin

Institute of Cryptography, Communications and Informatics, Moscow, Russia

Abstract: Necessary and sufficient conditions for the reception by untrusted user sessions of access owning to trusted user sessions are stated within the base role DP-model of computer systems with the role management of access. It is supposed in the consideration that any number of user sessions cooperate, and they do not get access owning to each other with the use of memory information flows to entities functionally associated with the user sessions.

UDC: 004.94



© Steklov Math. Inst. of RAS, 2026