Loading…
Academic Journal
First order logic to set requirements for secure code execution
A. V. Kozachok
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 135-148 (2018)
Saved in:
| Title | First order logic to set requirements for secure code execution |
|---|---|
| Authors | A. V. Kozachok |
| Publication Year |
2018
|
| Source |
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 135-148 (2018)
|
| Description |
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.
|
| Document Type |
article
|
| Language |
English
Russian |
| Publisher Information |
Ivannikov Institute for System Programming of the Russian Academy of Sciences, 2018.
|
| Subject Terms | |
