Сборники трудов ИСП РАН


Комплекс алгоритмов функционирования системы безопасного исполнения программного кода

А. В. Козачок (ФСО, Москва, Россия)
Е. В. Кочетков (ФСО, Москва, Россия)

Аннотация

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

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

алгоритм; вредоносное программное обеспечение; model checking; security automata

Издание

Труды Института системного программирования РАН, том 29, вып. 3, 2017, стр. 17-30.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(3)-2

Полный текст статьи в формате pdf Вернуться к содержанию тома