@article{Цынкевич Е. А.2018-11-06,
author = { Цынкевич Е. А.},
title = {КРИТЕРИИ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ  СИСТЕМ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА},
year = {2008},
publisher = {NP «NEICON»},
abstract = {Рассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающими специфику правомочности электронных документов, устанавливается, что каждое определяемое правило выполняет критерии обеспечения правомочности,  т. е. сохраняет при переходе системы из текущего состояния в последующее определенные в ней условие и свойство правомочности. Для доказательств используются теоремы, формулировки которых приведены вместе с обозначениями и утверждениями в составе доказательной базы.},
URL = {https://www.academjournals.by/publication/18907},
eprint = {https://www.academjournals.by/files/18855},
journal = {Информатика},
}