Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Алгоритм тестирования функций безопасности программно-аппаратных СЗИ, основанный на использовании теории графов
- Авторы
- Каннер Татьяна Михайловна tatianash@okbsapr.ru, руководитель учебного центра ЗАО «ОКБ САПР», ведущий инженер лаборатории "Прикладные исследования МФТИ-Сбербанк", ЗАО "ОКБ САПР"; Московский физико-технический институт (национальный исследовательский университет), Москва, Россия; г. Долгопрудный, Московская обл., Россия
- В разделе
- ТЕХНИЧЕСКАЯ ЗАЩИТА ИНФОРМАЦИИ. УПРАВЛЕНИЕ ДОСТУПОМ
- Ключевые слова
- тестирование программно-аппаратных СЗИ / полнота и оптимальность тестирования / ориентированный граф без петель и кратных дуг / алгоритм тестирования функций безопасности программно-аппаратных СЗИ / задача китайского почтальона / эйлеров путь
- Год
- 2021 номер журнала 3 Страницы 12 - 15
- Индекс УДК
- 004.056
- Код EDN
- Код DOI
- 10.52190/2073-2600_2021_3_12
- Тип статьи
- Научная статья
- Аннотация
- Рассмотрены существующие подходы к тестированию программно-аппаратных средств защиты информации (СЗИ), позволяющие обеспечить полноту тестирования, но не решающие вопрос его оптимальности. Дано определение задачи тестирования программно-аппаратных СЗИ. Предложен подход к проверке ее выполнимости с использованием теории графов. Представлен основанный на данном подходе алгоритм тестирования функций безопасности программно-аппаратных СЗИ, позволяющий обеспечить его полноту и оптимальность.
- Полный текст статьи
- Для прочтения полного текста необходимо купить статью
- Список цитируемой литературы
-
Beizer B. Software testing techniques, 2nd ed. - Dreamtech, 2003.
Broy M., Jonsson B., Katoen J. P., Leucker M., Pretschner A. Model based testing of reactive systems. - LNCS 3472, Springer Berlin Heidelberg, 2005.
Кулямин В. В. Тестирование на основе моделей. Курс лекции ВМиК МГУ [Электронный ресурс]. URL: http:// panda.ispras.ru/~kuliamin/mbt-course.html (дата обращения: 29.05.2021).
Бурдонов И. Б., Косачев А. С., Кулямин В. В. Использование конечных автоматов для тестирования программ // Программирование. 2000. № 2. C. 12-28.
Kanner T. M. Applicability of software testing methods to software and hardware data security tools // Glob. J. Pure Appl. Math. 2016. V. 12(1). P. 167-190.
Kanner A. M., Kanner T. M. Testing Software and Hardware Data Security Tools Using the Automata Theory and the Graph Theory: Proceedings of Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology. 2020. P. 615-618.
Седжвик Р. Фундаментальные алгоритмы на C. Ч. 5: Алгоритмы на графах. Изд. 3. - СПб.: ДиаСофтЮП, 2003. - 496 с.
Edmonds J., Johnson E. L. Matching Euler tours and the chinese postman // Mathematical programming. 1973. V. 5(1). P. 88-124.
Скиена С. С. Алгоритмы. Руководство по разработке. Изд. 2. / Пер. с англ. - СПб.: БХВ-Петербург, 2018.
Кормен Т. и др. Алгоритмы: построение и анализ. Изд. 3. - М.: Вильямс, 2013. - 1328 с.
Sharir M. A strong connectivity algorithm and its applications to data flow analysis // Computers and Mathematics with Applications. 1981. V. 7(1). P. 67-72.
- Купить
- 500.00 руб
