Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Механизм верификации безопасности программных средств, функционирующих в системе защиты информации корпоративных сетей
- Авторы
- Рагимов Эльшан Расиф оглы elshan_rahimoff@mail.ru, канд. техн. наук, научный сотрудник, Институт информационных технологий Национальной Академии Наук Азербайджана, Баку, Азербайджан Тел. служ. (+99450) 312-67-78
- В разделе
- ЗАЩИТА ИНФОРМАЦИИ В КОМПЬЮТЕРНЫХ СИСТЕМАХ И СИСТЕМАХ СВЯЗИ
- Ключевые слова
- безопасность / недостаток / система защиты информации / атака / программные средства / корпоративная сеть / программные сервисы
- Год
- 2010 номер журнала 4 Страницы 37 - 40
- Индекс УДК
- УДК 004.05
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Проведен анализ существующих недостатков как во внутренних архитектурах, так и в сервисах, предоставляемых программными средствами функционирующих в системе защиты информации корпоративных сетей. Определена метрика сложности поиска недостатков в программных средствах. На основе изучения существующих и приобретенных недостатков в программных средствах как во время эксплуатации, так и на стадии проектирования предложен механизм верификации безопасности программных средств, составляющих основную линию системы защиты информации корпоративных сетей.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Рагимов Э. Р. Управление корпоративными сетями. - Баку: Информационные технологии, 2008.
Debra Herrmann. Software Safety & Reliability, IEEE Computer Society Press, 1999.
Collberg C., Thomborson C., Low D. Breaking Abstractions and Unstructuring Data Structures. In Proc. of the IEEE Internat. Conf. on Computer Languages (ICCL'98), Chicago, IL, May 1998.
Kapur P. K., Younes S. Software reliability growth model with error dependency//Microelectronics and Reliability, 1995.
Ковалевская Е. В. Метрология, качество и сертификация программного обеспечения. - М.: МЭСИ, 2004.
ISO 9126:1991. Информационная технология. Оценка программного продукта. Характеристики качества и руковод-ство по их применению. 1993. - 186 с.
- Купить
