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


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

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

Аннотация

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

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

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

Издание

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

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

DOI: 10.15514/ISPRAS-2017-29(6)-1

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