КРИТЕРИИ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ СИСТЕМ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА
Рассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающим...
Saved in:
| Format: | Article |
|---|---|
| Language: | Russian |
| Published: |
National Academy of Sciences of Belarus, the United Institute of Informatics Problems
2018-11-01
|
| Series: | Informatika |
| Online Access: | https://inf.grid.by/jour/article/view/585 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Рассматривается задача формального определения в системах электронного документооборота набора правил управления доступом к объектам в процессе создания и использования электронных документов. На основе строгих доказательств, примененных в модели Белла – Лападула и расширенных элементами, отражающими специфику правомочности электронных документов, устанавливается, что каждое определяемое правило выполняет критерии обеспечения правомочности, т. е. сохраняет при переходе системы из текущего состояния в последующее определенные в ней условие и свойство правомочности. Для доказательств используются теоремы, формулировки которых приведены вместе с обозначениями и утверждениями в составе доказательной базы. |
|---|---|
| ISSN: | 1816-0301 |