ФОРМАЛИЗАЦИЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ СРЕДСТВ ОБЕСПЕЧЕНИЯ ПРАВОМОЧНОСТИ ЭЛЕКТРОННЫХ ДОКУМЕНТОВ
Abstract
Рассматривается формальный подход к оценке эффективности средств обеспечения правомочности электронных документов. Демонстрируется возможность построения формальных моделей оценки эффективности, основанных на использовании моделей оценки риска в информационных технологиях и метрических характеристик модели правомочности электронных документов.
About the Authors
В. Анищенко
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
Е. Цынкевич
Объединенный институт проблем информатики НАН Беларуси
Belarus
Belarus
References
1. Системы менеджмента качества. Основные положения и словарь : СТБ ИСО/МЭК 9000-2006. – Минск : Госстандарт : БелГИСС, 2006. – 32 с.
2. Булавин, П.В. Правильная оценка дорогого стоит или об оценке эффективности инвестиций в информационные технологии / П.В. Булавин, Н.И. Островская // Ентер-профи: Пермский региональный журнал об информационных технологиях. – 1998. – № 5. – С. 45–49 с.
3. Методика определения эффективности применения ЭВМ в управлении производством. – Минск : ЦНИИТУ, 1967. – 14 с.
4. Методы и практика определения эффективности капитальных вложений и новой техники. – Вып. 16. – М. : Наука, 1969. – 48 с.
5. Методика определения эффективности АСУ производством. – М. : ЦНИИКА, 1970. – 9 с.
6. Методика определения эффективности автоматизированных систем управления производством. – М. : НИИТЭХИМ, 1971. – 11 с.
7. Методики определения фактической эффективности АСУП. – Пермь : ЦСМ, 1973. – 24 с.
8. Единая система стандартов автоматизированных систем управления. Эффективность автоматизированных систем управления : ГОСТ 24.702–85. – М. : Госстандарт, 1985. – 8 с.
9. Методические рекомендации по комплексной оценке эффективности мероприятий, направленных на ускорение научно-технического прогресса. Постановление ГКНТ СССР и президиума АН СССР № 60/52 от 3 марта 1988 г. – М., 1988. – 12 с.
10. Стадии разработки : ГОСТ 19.102–77 ЕСПД. – М. : Госстандарт, 1977. – 8 с.
11. Техническое задание. Требования к содержанию и оформлению : ГОСТ 19.201–78 ЕСПД. – М. : Госстандарт, 1978. – 4 с.
12. Пояснительная записка. Требования к содержанию и оформлению : ГОСТ 19.404–79 ЕСПД. – М. : Госстандарт, 1979. – 4 с.
13. Информационная технология. Комплекс стандартов на автоматизированные сис-темы. Автоматизированные системы. Стадии создания : ГОСТ 34.601–90. – М. : Госстан-дарт, 1990. – 12 с.
14. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Техническое задание на создание автоматизированной системы : ГОСТ 34.602–89. – М. : Госстандарт, 1989. – 20 с.
15. Процессы жизненного цикла программных средств : СТБ ИСО/МЭК 12207–2003. – Минск : Госстандарт, 2003. – 52 с.
16. Цынкевич, Е.А. Математическая модель правомочности электронных документов / Е.А. Цынкевич // Информатика. – 2008. – № 1 (17). – С. 69–83.
17. Цынкевич, Е.А. Критерии обеспечения правомочности систем электронного документооборота / Е.А. Цынкевич // Информатика. – 2008. – № 3 (19). – С. 99–111.
18. Bell, D.E. Secure Computer Systems: A Mathematical Model MTR-2547. Vol. II / D.E. Bell, L.J. La Padula. – Bedford, Massachusetts, 1996.
19. Анищенко, В.В. Формализация оценки рисков в информационных технологиях / В.В. Анищенко, А.В. Цынкевич // Информатика. – 2008. – № 4 (20). – С. 89–103.
20. Bulut, N. Invariant Properties of Algorithms. Ph. D. Thesis / N. Bulut. – USA : Purdue University, 1973. – 215 p.
21. Kulm, G. Language Level and Information Content Measures in Mathematical English. Mathematics, Department Report / G. Kulm. – USA : Purdue University, 1974.
22. 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.
23. Холстед, М.Х. Начала науки о программах / М.Х. Холстед ; пер. с англ. – М. : Финансы и статистика, 1981. – 128 с.
24. Шеннон, К. Работы по теории информации и кибернетике / К. Шеннон ; пер. с англ. – М., 1963. – 829 с.
25. 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.
Review
For citations:
, . Informatics. 2009;(4(24)):90-100. (In Russ.)
Views: 568
Email this article 