|
Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов
А. А. Платонов, В. И. Тимофеев Военно-космическая академия им. А. Ф. Можайского
Аннотация:
В статье предлагается подход к контролю целостности динамических объектов по их метрическим эталонам. Создание эталона основывается на последовательном преобразовании процесса от дампа памяти до автомата переходов на графе состояний с расчетом структурных, информационных и операционных метрик. Это позволяет выявлять нарушения функциональных состояний объекта в памяти вычислительной системы. Представлен алгоритм контроля целостности динамических объектов антивирусного средства Dr.Web.
Ключевые слова:
целостность; метрика программного обеспечения; формальная грамматика; продукционная система; конечный автомат; распознаватель.
Образец цитирования:
А. А. Платонов, В. И. Тимофеев, “Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов”, Тр. СПИИРАН, 38 (2015), 136–160
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy780 https://www.mathnet.ru/rus/trspy/v38/p136
|
Статистика просмотров: |
Страница аннотации: | 140 | PDF полного текста: | 130 |
|