RT - article
SR - Electronic
T1 - КРИТЕРИИ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ  СИСТЕМ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА
JF - Информатика
SP - 2018-11-06
A1 - Цынкевич Е. А., 
YR - 2008
UL - https://www.academjournals.by/publication/18907
AB - Рассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающими специфику правомочности электронных документов, устанавливается, что каждое определяемое правило выполняет критерии обеспечения правомочности,  т. е. сохраняет при переходе системы из текущего состояния в последующее определенные в ней условие и свойство правомочности. Для доказательств используются теоремы, формулировки которых приведены вместе с обозначениями и утверждениями в составе доказательной базы.