Vol. 46, No. 7, 2020
A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
p. 443 abstract
Occlusion Culling Algorithm Based on Software Visibility Checks
p. 454 abstract
Designing Interfaces for Classes of a Neural Network Graph Model
p. 463 abstract
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing
p. 473 abstract