RUS  ENG
Полная версия
ЖУРНАЛЫ // Информатика и автоматизация // Архив

Тр. СПИИРАН, 2015, выпуск 38, страницы 136–160 (Mi trspy780)

Контроль целостности динамических объектов вычислительных систем с использованием метрических эталонов

А. А. Платонов, В. И. Тимофеев

Военно-космическая академия им. А. Ф. Можайского

Аннотация: В статье предлагается подход к контролю целостности динамических объектов по их метрическим эталонам. Создание эталона основывается на последовательном преобразовании процесса от дампа памяти до автомата переходов на графе состояний с расчетом структурных, информационных и операционных метрик. Это позволяет выявлять нарушения функциональных состояний объекта в памяти вычислительной системы. Представлен алгоритм контроля целостности динамических объектов антивирусного средства Dr.Web.

Ключевые слова: целостность; метрика программного обеспечения; формальная грамматика; продукционная система; конечный автомат; распознаватель.

УДК: 004.931; 004.942

DOI: 10.15622/sp.38.8



Реферативные базы данных:


© МИАН, 2024