Prototype of a Verified Program Code Execution System

This paper describes technical implementation of a verified program code execution system. The functional purpose of the system is to investigate arbitrary executable files of an operating system in the absence of source codes in order to control program code execution within specified functional re...

Full description

Saved in:
Bibliographic Details
Published in:Programming and computer software 2018-05, Vol.44 (3), p.190-199
Main Authors: Kozachok, A. V., Kochetkov, E. V.
Format: Article
Language:English
Subjects:
Anti-virus software
Artificial Intelligence
Compliance
Computer Science
Correspondence
Infrastructure
Malware
Operating Systems
Process controls
Security systems
Software Engineering
Software Engineering/Programming and Operating Systems
Temporal logic
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper describes technical implementation of a verified program code execution system. The functional purpose of the system is to investigate arbitrary executable files of an operating system in the absence of source codes in order to control program code execution within specified functional requirements. The prerequisites for development of such a system are outlined and a user’s operating procedure with two typical usage scenarios is described. General description of the architecture of the system and software used for its implementation, including the mechanism of interaction among system elements, is presented. A model example of implementing the system is considered. A flexible set of functional constraints based on a temporal attribute of process action is described. In conclusions, a brief comparison with the closest analogs is conducted.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768818030039