Issue 7/2020
Content (4 Articles)
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, I. V. Shchepetkov
Designing Interfaces for Classes of a Neural Network Graph Model
Yu. L. Karpov, I. A. Volkova, A. A. Vylitok, L. E. Karpov, Yu. G. Smetanin
On the Possibility of Secure Program Obfuscation in Some Model of Cloud Computing
A. V. Shokurov, I. V. Abramova, N. P. Varnovsky, V. A. Zakharov