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...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| coleção: | Труды Института системного программирования РАН |
| Assuntos: | |
| Acesso em linha: | https://ispranproceedings.elpub.ru/jour/article/view/416 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|