A MODEL FOR ASSESSING THE HYPERVISOR’S RESISTANCE TO UNAUTHORIZED ACTIONS THROUGH VIRTUAL MACHINES IN INFORMATION TRAINING SYSTEMS
Authors: Лавлинский В.В. , Змеев А.А. , Белов С.В. 
Published: August 2024

Разрабатываемые модели динамики состояний информационных систем обучения с информацией специального назначения обладают некоторой неопределённостью качественных и количественных параметров, а управление системой разграничения доступа в таких условиях также имеет некоторую нечёткость с неизвестными моделями объектов. Цель работы – повысить устойчивость системы разграничения доступа к НСД к гипервизору через виртуальные машины в информационных системах обучения с информацией специального назначения. Методы: оценки устойчивости по критерию на основе метода бифуркаций и метода Ляпунова. Результаты: разработана модель оценки динамики состояния ИСО с ИСН в условиях угроз НСД к гипервизору через виртуальные машины, отличающаяся от имеющихся тем, что учитывает такие релевантные параметры формальной модели нарушителя как количество этапов для осуществления НСД к информации, входные параметры и их количество для каждого этапа, значимость параметров на каждом этапе, возможность реализации параметров НСД и задержка выполнения этапа НСД обучаемым и их взаимосвязь на основе математического аппарата нейронных сетей в виде системы уравнений, описывающих динамику каждого отдельного этапа и их взаимодействие, а также средство оценки устойчивости к НСД к гипервизору через виртуальные машины по методу бифуркаций и методу Ляпунова с целью автоматизации этого процесса. Практическая значимость: предложенная модель позволяет оценивать устойчивости системы разграничения доступа к НСД при использовании технологии тонкий клиент.

The developed models of the dynamics of the states of information training systems with specialpurpose information have some uncertainty of qualitative and quantitative parameters, and the management of the access control system in such conditions also has some fuzziness with unknown object models. The purpose of the work is to increase the stability of the system for differentiating access to the NSD to the hypervisor through virtual machines in information training systems with specialpurpose information. Methods: stability estimates by the criterion based on the bifurcation method and the Lyapunov method. Results: a model for assessing the dynamics of the state of an ISO with an ISN in the conditions of threats of NSD to the hypervisor through virtual machines is developed, which differs from the existing ones in that it takes into account such relevant parameters of the formal intruder model as the number of stages for implementing NSD to information, input parameters and their number for each stage, the significance of parameters at each stage, the possibility of implementing NSD parameters and the delay in completing the NSD stage by the trainee and their relationship based on the mathematical apparatus of neural networks in the form of a system of equations, describing the dynamics of each individual stage and their interaction, as well as a tool for assessing the resistance to NSD to the hypervisor through virtual machines using the bifurcation method and the Lyapunov method in order to automate this process. Practical relevance: the proposed model allows us to assess the stability of the access control system to the NSD when using the