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...
| الحاوية / القاعدة: | Труды Института системного программирования РАН |
|---|---|
| المؤلفون الرئيسيون: | , |
| التنسيق: | مقال |
| اللغة: | الإنجليزية |
| منشور في: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ispranproceedings.elpub.ru/jour/article/view/416 |
| الملخص: | 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 the program code within the specified functional requirements. The prerequisites for the creation of such a system are described, the user's operating procedure is given according to two typical usage scenarios. A general description of the architecture of the system and the software used for its implementation, the mechanism of interaction of the elements of the system are presented. The model example of implementation this system is presented. Demonstrating the flexible set of functional constraints, based on temporal attribute process action. At the end of the article given a brief comparison with the closest analogues. |
|---|---|
| تدمد: | 2079-8156 2220-6426 |