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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/416 |
| _version_ | 1819025525002207232 |
|---|---|
| author | A. V. Kozachok E. V. Kochetkov |
| author_facet | A. V. Kozachok E. V. Kochetkov |
| author_sort | A. V. Kozachok |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-21T05:12:03Z |
| format | Article |
| id | doaj.art-992fcebd900641cb83f3efe2fa42b98e |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-21T05:12:03Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-992fcebd900641cb83f3efe2fa42b98e2022-12-21T19:15:01ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0129672410.15514/ISPRAS-2017-29(6)-1416Verified program code execution system prototypeA. V. Kozachok0E. V. Kochetkov1Академия Федеральной службы охраны Российской федерацииАкадемия Федеральной службы охраны Российской федерации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.https://ispranproceedings.elpub.ru/jour/article/view/416формальная верификацияавтомат безопасностиконтролируемое выполнениевредоносное программное обеспечение |
| spellingShingle | A. V. Kozachok E. V. Kochetkov Verified program code execution system prototype Труды Института системного программирования РАН формальная верификация автомат безопасности контролируемое выполнение вредоносное программное обеспечение |
| title | Verified program code execution system prototype |
| title_full | Verified program code execution system prototype |
| title_fullStr | Verified program code execution system prototype |
| title_full_unstemmed | Verified program code execution system prototype |
| title_short | Verified program code execution system prototype |
| title_sort | verified program code execution system prototype |
| topic | формальная верификация автомат безопасности контролируемое выполнение вредоносное программное обеспечение |
| url | https://ispranproceedings.elpub.ru/jour/article/view/416 |
| work_keys_str_mv | AT avkozachok verifiedprogramcodeexecutionsystemprototype AT evkochetkov verifiedprogramcodeexecutionsystemprototype |