Verified program code execution system prototype

The article represented the technical implementation of the system of verified program code execution. The functional purpose of this system is to investigate arbitrary executable files of the operating system in the absence of source codes in order to provide the ability to control the execution of...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	A. V. Kozachok, E. V. Kochetkov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	формальная верификация автомат безопасности контролируемое выполнение вредоносное программное обеспечение
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/416