Proceedings of ISP RAS

First order logic to set requirements for secure code execution

Kozachok A.V. (FSO Academy, Orel, Russia)


Currently the problem of information security during designing and exploiting the objects of critical information infrastructure is paid special attention to. One of the most common approaches to providing information security, processed on the objects, is creating isolated programming environment. The environment security is determined by its invariability. However, the evolutional development of data processing systems gives rise to the necessity of implementing the new components and software in this environment under condition that security requirements are satisfied. The most important requirement consists in trust in the new programming code. The given paper is devoted to developing formal logical language of description of functional requirements for programming code, allowing to make further demands at the stage of static analysis and to control their implementation in dynamics.


formal logical language, modeling, process, malware, model checking, security automata


Proceedings of the Institute for System Programming, vol. 29, issue 5, 2017, pp. 135-148.

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

DOI: 10.15514/ISPRAS-2017-29(5)-8

Full text of the paper in pdf (in Russian) Back to the contents of the volume