Contents

Programming and Computer Software


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. N. Devyanin, A. V. Khoroshilov, V. V. Kuliamin, A. K. Petrenko and I. V. Shchepetkov p. 443  abstract

Occlusion Culling Algorithm Based on Software Visibility Checks

V. I. Gonakhchyan p. 454  abstract

Designing Interfaces for Classes of a Neural Network Graph Model

Yu. L. Karpov, I. A. Volkova, A. A. Vylitok, L. E. Karpov and Yu. G. Smetanin p. 463  abstract

On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing

A. V. Shokurov, I. V. Abramova, N. P. Varnovsky and V. A. Zakharov p. 473  abstract