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