Algebraic Approach to Vulnerabilities Formalization in the Binary Code
Збережено в:
Дата: | 2019 |
---|---|
Автори: | , , |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
2019
|
Назва видання: | Control Systems and Computers |
Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0001096246 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Репозитарії
Library portal of National Academy of Sciences of Ukraine | LibNASid |
open-sciencenbuvgovua-23866 |
---|---|
record_format |
dspace |
spelling |
open-sciencenbuvgovua-238662024-02-26T22:28:23Z Algebraic Approach to Vulnerabilities Formalization in the Binary Code O. O. Letychevskyi Ya. V. Hryniuk V. M. Yakovlev 2706-8145 2019 en Control Systems and Computers http://jnas.nbuv.gov.ua/article/UJRN-0001096246 Article |
institution |
Library portal of National Academy of Sciences of Ukraine | LibNAS |
collection |
Open-Science |
language |
English |
series |
Control Systems and Computers |
spellingShingle |
Control Systems and Computers O. O. Letychevskyi Ya. V. Hryniuk V. M. Yakovlev Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
format |
Article |
author |
O. O. Letychevskyi Ya. V. Hryniuk V. M. Yakovlev |
author_facet |
O. O. Letychevskyi Ya. V. Hryniuk V. M. Yakovlev |
author_sort |
O. O. Letychevskyi |
title |
Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
title_short |
Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
title_full |
Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
title_fullStr |
Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
title_full_unstemmed |
Algebraic Approach to Vulnerabilities Formalization in the Binary Code |
title_sort |
algebraic approach to vulnerabilities formalization in the binary code |
publishDate |
2019 |
url |
http://jnas.nbuv.gov.ua/article/UJRN-0001096246 |
work_keys_str_mv |
AT ooletychevskyi algebraicapproachtovulnerabilitiesformalizationinthebinarycode AT yavhryniuk algebraicapproachtovulnerabilitiesformalizationinthebinarycode AT vmyakovlev algebraicapproachtovulnerabilitiesformalizationinthebinarycode |
first_indexed |
2024-03-30T08:00:34Z |
last_indexed |
2024-03-30T08:00:34Z |
_version_ |
1796879759956770816 |