Интернет конференция по проблемам теории и практики управленияНазвание: Противодействие сговору в дискретных динамических моделях компьютерных сетей
Автор: Дмитрий Евгеньевич Горбатенко
Соавторы:
Горбатенко Дмитрий Евгеньевич, Семенов Александр Анатольевич
Аннотация:
В статье представлен новый подход к противодействию ситуациям сговора в компьютерных сетях. Приведен алгоритм выделения т.н. «графов сговора» в рамках известной модели «Take-Grant» (TG). На основании графа сговора строится дискретная динамическая система (ДДС). Получение доступа к данным целевой вершины рассматривается как результат процесса в рамках введенной ДДС. Этот процесс можно блокировать за счет деактивации некоторых вершин в графе сговора. Ставится задача построения деактивирующего множества наименьшей мощности, которая сводится к задаче о булевой выполнимости (SAT) и решается с использованием современных SAT решателей.
Ключевые слова:
дискретные динамические системы, модель Take-Grant, граф сговора, SAT
Автор: Дмитрий Евгеньевич Горбатенко
Соавторы:
Горбатенко Дмитрий Евгеньевич, Семенов Александр Анатольевич
Аннотация:
В статье представлен новый подход к противодействию ситуациям сговора в компьютерных сетях. Приведен алгоритм выделения т.н. «графов сговора» в рамках известной модели «Take-Grant» (TG). На основании графа сговора строится дискретная динамическая система (ДДС). Получение доступа к данным целевой вершины рассматривается как результат процесса в рамках введенной ДДС. Этот процесс можно блокировать за счет деактивации некоторых вершин в графе сговора. Ставится задача построения деактивирующего множества наименьшей мощности, которая сводится к задаче о булевой выполнимости (SAT) и решается с использованием современных SAT решателей.
Ключевые слова:
дискретные динамические системы, модель Take-Grant, граф сговора, SAT