1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 681.324.067

Реферат:

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