МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ПРАВОМОЧНОСТИ ЭЛЕКТРОННЫХ ДОКУМЕНТОВ
Abstract
Рассматривается проблема обеспечения правомочности электронных документов, формируемых и применяемых в системах электронного документооборота, и в качестве подхода к ее решению предлагается использование математической модели правомочности. Исходя из общего определения понятия правомочности электронного документа формально определяется множество элементов моделируемой системы, множество ее состояний, удовлетворяющих условию и свойству правомочности, а также правил перехода, обеспечивающих правомочность системы и циркулирующих в ней документов.
About the Author
Е. Цынкевич
Объединенный институт проблем информатики НАН Беларуси,
Расчетный центр Национального банка Республики Беларусь
Belarus
Belarus
References
1. Цынкевич, Е.А. Задачи определения критериев правомочности электронных документов / Е.А. Цынкевич // Информатика. – 2005. – № 4 (8). – С. 87–93.
2. Об электронном документе: Закон Республики Беларусь от 10 января 2000 г. № 357-3 // Национальный реестр правовых актов Республики Беларусь. – 21 января 2000 г. – № 7.
3. СТБ 1176.2-99. Информационная технология. Защита информации. Процедуры выработки и проверки электронной цифровой подписи.
4. Bell, D.E. Secure Computer Systems: A Mathematical Model / D.E. Bell, L.J. La Padula // MTR-2547 Vol. II. The MITRE Corporation. – Bedford, Massachusetts, 1996.
5. Конявский, В.А. Основы понимания феномена электронного документооборота / В.А. Конявский, В.А. Гадасин. – Минск: Биллитфонд, 2004.
6. Цынкевич, Е.А. Критерии правомочности электронных документов / Е.А. Цынкевич // Материалы IX Междунар. конф. «Комплексная защита информации». – Минск, 2005, – С. 106–107.
7. СТБ 34.101.1-03. Критерии оценки безопасности информационных технологий.
8. Repot on the Algorithmic Language ALGOL 60. Communication of the Association for Computing Machinery / P. Naur [et al.]. – USA, 1960. – 299 p.
9. Маслов, Ю.Г. Проект стандарта ЭЦП организации для обеспечения юридической значимости электронного документа / Ю.Г. Маслов, А.В. Фураков // ВКСС. Connect. – М., 2006. – № 4. – C. 140–141.
10. Маккиман, У. Генератор компиляторов / У. Маккиман, Дж. Хорнинг, Д. Уортман; пер. с англ. – М.: Статистика, 1980. – 527 с.
11. СТБ 1176.1-99. Информационная технология. Защита информации. Функция хэ-ширования.
Review
For citations:
. Informatics. 2008;(1(17)):69-83. (In Russ.)
Views: 459
Email this article 