Secure code execution system operation algorithm
Комплекс алгоритмов функционирования системы безопасного исполнения программного кода

A.V. Kozachok, E.V. Kochetkov
2017 Proceedings of the Institute for System Programming of RAS  
Академия Федеральной службы охраны Российской федерации, 302034, Россия, г. Орёл, ул. Приборостроительная, д. 35 Аннотация. В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы безопасного исполнения программного кода. Функциональным предназначением данной системы является проведение исследования произвольных исполняемых файлов операционной системы в условиях отсутствия исходных кодов с целью обеспечения возможности контроля исполнения программного
more » ... ния программного кода в рамках заданных функциональных требований. Представленный в работе комплекс алгоритмов включает в себя: алгоритм функционирования системы безопасного исполнения программного кода и алгоритм построения модели программы, пригодной для проведения верификации и сохраняющей свойства исходной программы. Ключевые слова: алгоритм; вредоносное программное обеспечение; model checking; security automata
doi:10.15514/ispras-2017-29(3)-2 fatcat:d7pne5wkeneppfoabundamc7p4