ПОВЫШЕНИЕ УРОВНЯ ЗАЩИЩЕННОСТИ ПРИ РАБОТЕ С ПРОГРАММНЫМ ОБЕСПЕЧЕНИЕМ, ИСПОЛЬЗУЮЩИМ OPENMP

П. С. Полищук

Аннотация


Рассмотрены модель нарушителя и перечень основных типов угроз, условия для реализации которых создаются при использовании в программном обеспечении OpenMP. Предложен метод верификации программного обеспечения, использующего OpenMP, на наличие уязвимостей, связанных с многопоточным выполнением. Приводятся базовые алгоритмы метода и архитектура системы, реализующей предложенный метод. Приведены результаты тестирования метода на различных программах, в том числе содержащих вредоносный код, а также оценка возможностей применения предложенного метода в различных вычислительных средах.

Ключевые слова


мониторинг; анализ угроз

Полный текст:

PDF

Литература


1 J. Barnes with Praxis Critical Systems Ltd. High Integrity Software. The Spark Approach to Safety and Security. Addison-Wesley, 2003.

2 Cousot P., Cousot R. Abstract Interpretation and Application to Logic Programs // Journal of Logic Programming. 1992. 13.

3 Heitmeyer C., Archer M., Bharadwaj R., Jeffords R. Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten // Journal of Computer Systems Science and Engineering, 20(1): 19—35, January 2005.

4 Foster I., Kasselman C. The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufman Publishers, 2004.


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.