Аннотация доклада.

В качестве модели базы данных подсистемы разграничения доступа рассматривается ориентированный граф с помеченными ребрами. Вершины графа представляют собой объекты подконтрольной информационной системы, а ребра задают названия атрибутов объекта. Операции с данным в такой модели - это изменение значений в вершинах графа. Свойство безопасности - отсутствие возможности получить доступ к объекту путем выполнения последовательности разрешенных операций. Доказано, что задача не имеет решения в общем случае, однако имеет решение при некоторых ограничениях на допустимые действия с данными.