Proceedings of ISP RAS


First order logic to set requirements for secure code execution

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

Abstract

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.

Keywords

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

Edition

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