Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Адаптация существующих способов верификации для программно-аппаратных СЗИ
- Авторы
- Каннер Татьяна Михайловна tatianash@okbsapr.ru, руководитель учебного центра ЗАО «ОКБ САПР», ведущий инженер лаборатории "Прикладные исследования МФТИ-Сбербанк", ЗАО "ОКБ САПР"; Московский физико-технический институт (национальный исследовательский университет), Москва, Россия; г. Долгопрудный, Московская обл., Россия
- В разделе
- ТЕХНИЧЕСКАЯ ЗАЩИТА ИНФОРМАЦИИ. УПРАВЛЕНИЕ ДОСТУПОМ
- Ключевые слова
- верификация программно-аппаратных СЗИ / адаптированный способ верификации программноаппаратных СЗИ / программа "Верификатор программно-аппаратных СЗИ"
- Год
- 2018 номер журнала 1 Страницы 13 - 19
- Индекс УДК
- 004.056.5
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Рассматриваются особенности верификации программно-аппаратных средств защиты информации (СЗИ). Предложен адаптированный способ верификации программно-аппаратных СЗИ, реализующий процедуры формальной оценки критичности выявленных в ходе тестирования ошибок в их функциях безопасности и алгоритмы расчета критичности ошибок, используемые перед внедрением СЗИ в информационную систему. Описана программная реализация предложенного способа, представляющая собой систему поддержки принятия решений, позволяющую автоматически оценить критичность выявленных в таких средствах защиты ошибок.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Каннер Т. М., Султанахмедов Х. С. Особенности верификации средств защиты информации // Вопросы защиты информации. 2014. № 4. С. 55-57.
Каннер Т. М. Применимость методов тестирования ПО к программно-аппаратным СЗИ // Вопросы защиты информации. 2015. № 1. C. 30-39.
Язов Ю. К., Соловьев С. В., Колесникова Е. В. Перспективы развития систем поддержки принятия решений в области защиты информации: мат. XXI Межд. конф. "Комплексная защита информации". 17-19 мая 2016 г., - Смоленск. 2016. С. 78-81.
Черноруцкий И. Г. Методы оптимизации и принятия решений. - Спб.: Лань, 2001. С. 381.
Каннер Т. М. Особенности применения средств виртуализации при тестировании программно-аппаратных средств защиты информации // Информация и безопасность. 2015. Т. 18. № 3. С. 416-419.
Каннер Т. М. Эффективность применения средств тестирования программно-аппаратных СЗИ // Вопросы защиты информации. 2017. № 2. С. 9-13.
Дроботун Е. Б. Критичность ошибок в программном обеспечении и анализ их последствий // Фундаментальные исследования. 2009. № 4. С. 73-74.
Конявская С. В. Идеальное устройство. ПСКЗИ ШИПКА // Connect! Мир связи. 2008. № 10. С. 111.
- Купить