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