В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Атрибутная система логического разграничения доступа для информационных систем на основе реляционных баз данныхНИР

Attribute-based logical access control system for information systems using relational databases

Источник финансирования НИР

грант РФФИ

Этапы НИР

# Сроки Название
1 1 января 2018 г.-31 декабря 2018 г. Атрибутная система логического разграничения доступа для информационных систем на основе реляционных баз данных
Результаты этапа: Разработан язык описания политики логического разграничения доступа для информационных систем, построенных с использованием реляционных баз данных. Основными особенностями данного языка является возможность определения иерархии понятий предметной, которые скрывают детали хранения данных в реляционной СУБД, и возможность проверки прав доступа путем выполнения SQL запросов. Такое решение позволяет задавать политику доступа в терминах предметной области и эффективно проверять наличие прав доступа. Был реализован прототип системы проверки системы прав доступа, поддерживающий работу с несколькими СУБД. Исследованы вопросы сводимости известных моделей безопасности к предложенной в рамках проекта. Показана возможность вложения графовой модели Take-grant и автоматной модели невлияния. Для упрощенной модели исследована задача проверки свойства безопасности заданной политики доступа.
2 1 января 2019 г.-31 декабря 2019 г. Атрибутная система логического разграничения доступа для информационных систем на основе реляционных баз данных
Результаты этапа: Исследованы свойства модели разграничения доступа CBAC. Доказано, что классические модели take-grant и невлияния выражаются в терминах модели CBAC. Доказательства конструктивны и определяют алгоритм преобразования политик безопасности. Разработаны алгоритмы проверки невозможности получения доступа к выделенному объекту информационной системы на основе методов интеллектуального планирования. Доказано, что возможность построения по политике безопасности и состоянию системы определенной иерархической структуры является необходимым и достаточным условием получения доступа к целевому объекту. Подготовлена тестовая база данных и политика безопасности. Реализован алгоритм проверки прав доступа при выполнении запроса пользователя.
3 1 января 2020 г.-31 декабря 2020 г. Атрибутная система логического разграничения доступа для информационных систем на основе реляционных баз данных
Результаты этапа: Исследованы некоторые задачи формального анализа политик доступа, заданных в терминах языка CBAC. Доказана алгоритмическая неразрешимость задач проверки возможности получения доступа к выделенному объекту информационной системы и проверки эквивалентности двух политик CBAC в общем случае. Разработаны алгоритмы решения данных задач для некоторых подклассов политик доступа и информационных систем. В частности, доказана разрешимость задачи проверки возможности получения доступа в случаях, когда граф информационной системы имеет ограниченный диаметр, а правила доступа разделимы (условия доступа выражаются одноместными предикатами), или система имеет ограниченное число объектов, а политика доступа автоматна, то есть выражается системой конечных автоматов. Доказана алгоритмическая разрешимость задач проверки эквивалентности и вложенности двух автоматных политик доступа при условии, что система имеет ограниченное число объектов. Сформулированы критерии k-безопасного функцонирования компьютерных систем, поведение которых определяется конечным автоматом, множество состояний которого разделяется на непересекающиеся классы безопасных и небезопасных состояний. Параметр k определяет допустимую скорость реагирования на возникшее нарушение злоумышленником системы безопасности. Показана возможность использования эвристических алгоритмов из области интеллектуального планирования для решения вычислительно сложной задачи анализа поиска уязвимостей в заданной политике доступа типа CBAC.

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".