Каннер, Татьяна Михайловна (руководитель обучающего центра). Адаптация существующих способов верификации для программно-аппаратных СЗИ [Текст] / Т. М. Каннер> // Вопросы защиты информации. - 2018. - № 1. - С. 13-19. - Библиогр.: с. 19 (8 назв. ) . - ISSN 2073-2600
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): безопасность -- классификация обнаруженных ошибок -- критичность ошибок -- программно-аппаратные СЗИ -- программное обеспечение -- способы верификации -- средства защиты -- средства защиты информации -- функции безопасности Аннотация: Рассматриваются особенности верификации программно-аппаратных средств защиты информации. Предложен адаптированный способ верификации программно-аппаратных СЗИ, реализующий процедуры формальной оценки критичности выявленных в ходе тестирования ошибок в их функциях безопасности и алгоритмы расчета критичности ошибок, используемые перед внедрением СЗИ в информационную систему. Описана программная реализация предложенного способа, представляющая собой систему поддержки принятия решений, позволяющую автоматически оценить критичность выявленных в таких средствах защиты ошибок. Нет сведений об экземплярах (Источник в БД не найден) |