Автоматизированный поиск уязвимостей в программном обеспечении архитектуры ARM с применением динамического символьного выполнения

Овасапян Т. Д.; Князев П. В.; Москвин Д. А.

База данных: Каталог библиотеки СФУ (О-312)

Библиографическое описание: Овасапян, Т. Д. Автоматизированный поиск уязвимостей в программном обеспечении архитектуры ARM с применением динамического символьного выполнения = Automated vulnerability search in ARM architecture software using dynamic symbolic execution / Т. Д. Овасапян, П. В. Князев, Д. А. Москвин. - (Безопасность программного обеспечения). - Текст : непосредственный // Проблемы информационной безопасности. Компьютерные системы. - 2020. - № 3. - С. 103-113 : табл., ил., схемы. - Библиогр.: с. 111-113 (23 назв.). - ISSN 2071-8217.

Аннотация: Рассматривается автоматизированный поиск уязвимостей в устройствах Интернета вещей, базирующихся на архитектуре ARM. Исследуются проблемы использования символьного выполнения для обнаружения уязвимостей. Для повышения эффективности поиска уязвимостей предложен подход на основе динамического символьного выполнения с taint-анализом, позволяющий устранить проблемы, которые возникают при использовании классического символьного выполнения.
Automated search for vulnerabilities in Internet of Things devices based on the ARM architecture is considered. The problems of using symbolic execution to detect vulnerabilities are investigated. To improve the efficiency of searching for vulnerabilities, an approach based on concolic execution with taint analysis is proposed, which eliminates the problems that arise when using classical symbolic execution.

Год издания: 2020

Авторы: Овасапян Т. Д. , Князев П. В. , Москвин Д. А.

Источник: Проблемы информационной безопасности. Компьютерные системы

Выпуск: № 3

Номера страниц: 103-113

Количество экземпляров:

Твёрдая копия издания отсутствует в фонде библиотеки

Показать дополнительные сведения

Выявление уязвимостей в программном обеспечении для процессоров ARM с использованием символьного…

Абитов Р. А. и др.
2021 год

Применение taint-анализа для исследования безопасности программного обеспечения устройств…

Овасапян Т. Д. и др.
2019 год

Автоматизированный анализ безопасности программного обеспечения для ОС Android

Павленко Е. Ю. и др.
2025 год

Особенности поиска уязвимостей программного обеспечения на основе технологии TrustZone

Маркин Д. О. и др.
2020 год

Моделирование встроенного программного обеспечения аппаратных платформ на основе процессоров с…

Маркин Д. О. и др.
2024 год

Архитектура программного обеспечения автоматизированного тепличного комплекса на основе облачных…

Качанова О. А. и др.
2021 год

Современные тенденции в области эксплуатации уязвимостей автоматизированных информационных систем

Коноваленко Сергей Александрович и др.
2025 год

Сценарий атаки на автоматизированную систему управления технологическим процессом с учетом…

Конев А. А. и др.
2024 год

Архитектура распределенных сервис-ориентированных систем автоматизированного проектирования

Гридин В. Н. и др.
2019 год

Подход к разработке криптосервисов, устойчивых к атакам на основе спекулятивных вычислений

Соколов А. С. и др.
2022 год

Автоматизация сканирования и анализа безопасности образов контейнеров

Юдин С. А. и др.
2025 год

Применение машинного обучения с подкреплением для автоматизированного поиска уязвимостей…

Выборнова О. Н. и др.
2020 год

Основные виды уязвимостей и взаимосвязь компонентов безопасности при обосновании показателей…

Дровникова Ирина Григорьевна и др.
2019 год

ВЕРОЯТНОСТНОЕ СИМВОЛЬНОЕ ИСПОЛНЕНИЕ

Прохоров А.И. и др.
2015 год

Особенности решения задачи синтеза систем защиты информации автоматизированных систем….

Титова Маргарита Михайловна
2020 год

Анализ методов и средств защиты информации, использующих технологию аппаратной виртуализации…

Пагуба Г. Ю. и др.
2024 год

Библиотечно-издательский комплекс СФУ

Автоматизированный поиск уязвимостей в программном обеспечении архитектуры ARM с применением динамического символьного выполнения
статья из журнала

Похожие публикации