informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-536Research ArticleЗАЩИТА ИНФОРМАЦИИ И НАДЕЖНОСТЬ СИСТЕМINFORMATION PROTECTION AND SYSTEM RELIABILITYФОРМАЛИЗАЦИЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ СРЕДСТВ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ ЭЛЕКТРОННЫХ ДОКУМЕНТОВАнищенкоВ. В.ЦынкевичЕ. А.Объединенный институт проблем информатики НАН БеларусиBelarus20092510201804(24)90100Copyright © Анищенко В.В., Цынкевич Е.А., 20182018Анищенко В.В., Цынкевич Е.А.Анищенко В.В., Цынкевич Е.А.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/536

Рассматривается формальный подход к оценке эффективности средств обеспечения правомочности электронных документов. Демонстрируется возможность построения формальных моделей оценки эффективности, основанных на использовании моделей оценки риска в информационных технологиях и метрических характеристик модели правомочности электронных документов.

ReferencesСистемы менеджмента качества. Основные положения и словарь : СТБ ИСО/МЭК 9000-2006. – Минск : Госстандарт : БелГИСС, 2006. – 32 с.Системы менеджмента качества. Основные положения и словарь : СТБ ИСО/МЭК 9000-2006. – Минск : Госстандарт : БелГИСС, 2006. – 32 с.Булавин, П.В. Правильная оценка дорогого стоит или об оценке эффективности инвестиций в информационные технологии / П.В. Булавин, Н.И. Островская // Ентер-профи: Пермский региональный журнал об информационных технологиях. – 1998. – № 5. – С. 45–49 с.Булавин, П.В. Правильная оценка дорогого стоит или об оценке эффективности инвестиций в информационные технологии / П.В. Булавин, Н.И. Островская // Ентер-профи: Пермский региональный журнал об информационных технологиях. – 1998. – № 5. – С. 45–49 с.Методика определения эффективности применения ЭВМ в управлении производством. – Минск : ЦНИИТУ, 1967. – 14 с.Методика определения эффективности применения ЭВМ в управлении производством. – Минск : ЦНИИТУ, 1967. – 14 с.Методы и практика определения эффективности капитальных вложений и новой техники. – Вып. 16. – М. : Наука, 1969. – 48 с.Методы и практика определения эффективности капитальных вложений и новой техники. – Вып. 16. – М. : Наука, 1969. – 48 с.Методика определения эффективности АСУ производством. – М. : ЦНИИКА, 1970. – 9 с.Методика определения эффективности АСУ производством. – М. : ЦНИИКА, 1970. – 9 с.Методика определения эффективности автоматизированных систем управления производством. – М. : НИИТЭХИМ, 1971. – 11 с.Методика определения эффективности автоматизированных систем управления производством. – М. : НИИТЭХИМ, 1971. – 11 с.Методики определения фактической эффективности АСУП. – Пермь : ЦСМ, 1973. – 24 с.Методики определения фактической эффективности АСУП. – Пермь : ЦСМ, 1973. – 24 с.Единая система стандартов автоматизированных систем управления. Эффективность автоматизированных систем управления : ГОСТ 24.702–85. – М. : Госстандарт, 1985. – 8 с.Единая система стандартов автоматизированных систем управления. Эффективность автоматизированных систем управления : ГОСТ 24.702–85. – М. : Госстандарт, 1985. – 8 с.Методические рекомендации по комплексной оценке эффективности мероприятий, направленных на ускорение научно-технического прогресса. Постановление ГКНТ СССР и президиума АН СССР № 60/52 от 3 марта 1988 г. – М., 1988. – 12 с.Методические рекомендации по комплексной оценке эффективности мероприятий, направленных на ускорение научно-технического прогресса. Постановление ГКНТ СССР и президиума АН СССР № 60/52 от 3 марта 1988 г. – М., 1988. – 12 с.Стадии разработки : ГОСТ 19.102–77 ЕСПД. – М. : Госстандарт, 1977. – 8 с.Стадии разработки : ГОСТ 19.102–77 ЕСПД. – М. : Госстандарт, 1977. – 8 с.Техническое задание. Требования к содержанию и оформлению : ГОСТ 19.201–78 ЕСПД. – М. : Госстандарт, 1978. – 4 с.Техническое задание. Требования к содержанию и оформлению : ГОСТ 19.201–78 ЕСПД. – М. : Госстандарт, 1978. – 4 с.Пояснительная записка. Требования к содержанию и оформлению : ГОСТ 19.404–79 ЕСПД. – М. : Госстандарт, 1979. – 4 с.Пояснительная записка. Требования к содержанию и оформлению : ГОСТ 19.404–79 ЕСПД. – М. : Госстандарт, 1979. – 4 с.Информационная технология. Комплекс стандартов на автоматизированные сис-темы. Автоматизированные системы. Стадии создания : ГОСТ 34.601–90. – М. : Госстан-дарт, 1990. – 12 с.Информационная технология. Комплекс стандартов на автоматизированные сис-темы. Автоматизированные системы. Стадии создания : ГОСТ 34.601–90. – М. : Госстан-дарт, 1990. – 12 с.Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Техническое задание на создание автоматизированной системы : ГОСТ 34.602–89. – М. : Госстандарт, 1989. – 20 с.Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Техническое задание на создание автоматизированной системы : ГОСТ 34.602–89. – М. : Госстандарт, 1989. – 20 с.Процессы жизненного цикла программных средств : СТБ ИСО/МЭК 12207–2003. – Минск : Госстандарт, 2003. – 52 с.Процессы жизненного цикла программных средств : СТБ ИСО/МЭК 12207–2003. – Минск : Госстандарт, 2003. – 52 с.Цынкевич, Е.А. Математическая модель правомочности электронных документов / Е.А. Цынкевич // Информатика. – 2008. – № 1 (17). – С. 69–83.Цынкевич, Е.А. Математическая модель правомочности электронных документов / Е.А. Цынкевич // Информатика. – 2008. – № 1 (17). – С. 69–83.Цынкевич, Е.А. Критерии обеспечения правомочности систем электронного документооборота / Е.А. Цынкевич // Информатика. – 2008. – № 3 (19). – С. 99–111.Цынкевич, Е.А. Критерии обеспечения правомочности систем электронного документооборота / Е.А. Цынкевич // Информатика. – 2008. – № 3 (19). – С. 99–111.Bell, D.E. Secure Computer Systems: A Mathematical Model MTR-2547. Vol. II / D.E. Bell, L.J. La Padula. – Bedford, Massachusetts, 1996.Bell, D.E. Secure Computer Systems: A Mathematical Model MTR-2547. Vol. II / D.E. Bell, L.J. La Padula. – Bedford, Massachusetts, 1996.Анищенко, В.В. Формализация оценки рисков в информационных технологиях / В.В. Анищенко, А.В. Цынкевич // Информатика. – 2008. – № 4 (20). – С. 89–103.Анищенко, В.В. Формализация оценки рисков в информационных технологиях / В.В. Анищенко, А.В. Цынкевич // Информатика. – 2008. – № 4 (20). – С. 89–103.Bulut, N. Invariant Properties of Algorithms. Ph. D. Thesis / N. Bulut. – USA : Purdue University, 1973. – 215 p.Bulut, N. Invariant Properties of Algorithms. Ph. D. Thesis / N. Bulut. – USA : Purdue University, 1973. – 215 p.Kulm, G. Language Level and Information Content Measures in Mathematical English. Mathematics, Department Report / G. Kulm. – USA : Purdue University, 1974.Kulm, G. Language Level and Information Content Measures in Mathematical English. Mathematics, Department Report / G. Kulm. – USA : Purdue University, 1974.Otterstein, K.J. A Program to Count Operators and Operands for ANSI – Fortran Modules. Technical Report 196, Computer Science Department / K.J. Otterstein. – USA : Purdue University, 1976. – 33 p.Otterstein, K.J. A Program to Count Operators and Operands for ANSI – Fortran Modules. Technical Report 196, Computer Science Department / K.J. Otterstein. – USA : Purdue University, 1976. – 33 p.Холстед, М.Х. Начала науки о программах / М.Х. Холстед ; пер. с англ. – М. : Финансы и статистика, 1981. – 128 с.Холстед, М.Х. Начала науки о программах / М.Х. Холстед ; пер. с англ. – М. : Финансы и статистика, 1981. – 128 с.Шеннон, К. Работы по теории информации и кибернетике / К. Шеннон ; пер. с англ. – М., 1963. – 829 с.Шеннон, К. Работы по теории информации и кибернетике / К. Шеннон ; пер. с англ. – М., 1963. – 829 с.Ingojo, J.B. Modularization in the Pilot Compiler and Its Effect on the Length. Computer Science Department Tehnical Report 169 / J.B. Ingojo. – USA : Purdue University, 1975. – 35 p.Ingojo, J.B. Modularization in the Pilot Compiler and Its Effect on the Length. Computer Science Department Tehnical Report 169 / J.B. Ingojo. – USA : Purdue University, 1975. – 35 p.

The authors declare that there are no conflicts of interest present.