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

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