|
Комплекс алгоритмов функционирования системы безопасного исполнения программного кода
А. В. Козачок, Е. В. Кочетков Академия Федеральной службы охраны Российской федерации
Аннотация:
В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение исследования произвольных исполняемых файлов операционной системы в условиях отсутствия исходных кодов с целью обеспечения возможности контроля исполнения программного кода в рамках заданных функциональных требований. Представленный в работе комплекс алгоритмов включает в себя: алгоритм функционирования системы безопасного исполнения программного кода и алгоритм построения модели программы, пригодной для проведения верификации и сохраняющей свойства исходной программы.
Ключевые слова:
алгоритм, вредоносное программное обеспечение, model checking, security automata.
Образец цитирования:
А. В. Козачок, Е. В. Кочетков, “Комплекс алгоритмов функционирования системы безопасного исполнения программного кода”, Труды ИСП РАН, 29:3 (2017), 17–30
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp219 https://www.mathnet.ru/rus/tisp/v29/i3/p17
|
Статистика просмотров: |
Страница аннотации: | 153 | PDF полного текста: | 80 | Список литературы: | 28 |
|