1. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System

   • P. N. Devyanin
   • A. V. Khoroshilov
   • I. V. Shchepetkov

   OriginalPaper 11 December 2020 Pages: 443 - 453

   

2. Occlusion Culling Algorithm Based on Software Visibility Checks

   • V. I. Gonakhchyan

   OriginalPaper 11 December 2020 Pages: 454 - 462

   

3. Designing Interfaces for Classes of a Neural Network Graph Model

   • Yu. L. Karpov
   • I. A. Volkova
   • Yu. G. Smetanin

   OriginalPaper 11 December 2020 Pages: 463 - 472

   

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

   • A. V. Shokurov
   • I. V. Abramova
   • V. A. Zakharov

   OriginalPaper 11 December 2020 Pages: 473 - 482