Buchumschlag

Алгебраїчний підхід у формалізації вразливостей в бінарному коді

Пошук вразливостей у програмному забезпеченні є на поточний момент актуальним завданням та джерелом наукових викликів. Описаний у статті алгебраїчний підхід покликаний збільшити ефективність та достовірність алгоритмів пошуку. Запропоновано засоби формального опису поведінки бінарного коду та вразли...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Control systems & computers
Datum:	2019
ISSN:	2706-8145
Hauptverfasser:	Летичевський, О.О., Гринюк, Я.В., Яковлев, В.М.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2019
Schlagworte:	Fundamental Problems in Computer Science
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/181087
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгебраїчний підхід у формалізації вразливостей в бінарному коді / О.О. Летичевський, Я.В. Гринюк, В.М. Яковлев // Control systems & computers. — 2019. — № 6. — С. 5-20. — Бібліогр.: 9 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Новий підхід до визначення якості комунальних послуг
von: Палагін, О.В., et al.
Veröffentlicht: (2020)

Кваліметричний підхід до моделювання оцінки синергетичного ефекту функціонування транспортно-логістичної системи
von: Гриценко, В.І., et al.
Veröffentlicht: (2021)

Синтез суміщеного автомата зі зменшенням площі нано-ПЛМ
von: Баркалов, О.О., et al.
Veröffentlicht: (2020)

Синтез чотирирівневої схеми суміщеного автомата
von: Баркалов, О.О., et al.
Veröffentlicht: (2019)

Оптимізація композиційного мікропрограмного пристрою управління з елементарними ланцюгами
von: Баркалов, О.О., et al.
Veröffentlicht: (2021)

Простеження об’єктів при відеоспостереженні
von: Кийко, В.М., et al.
Veröffentlicht: (2020)

Знання-орієнтований інструментальний комплекс обробки баз даних наукових публікацій
von: Палагін, О.В, et al.
Veröffentlicht: (2020)

Гармонізація національних і міжнародних стандартів впровадження технологій цифрової економіки
von: Гриценко, В.І., et al.
Veröffentlicht: (2020)

Frechet Similarity Between Two Ambigiously Defined Polygonal Lines
von: Vodolazskiy, Ye.V.
Veröffentlicht: (2021)

Квадратична задача на множині сполучень та метод її розв’язання
von: Нагірна А.М.
Veröffentlicht: (2019)

ADALINE Robust Multistep Training Algorithm
von: Rudenko, O.G., et al.
Veröffentlicht: (2020)

Image Enhancement In Video Analytics Systems
von: Golovin, O.M.
Veröffentlicht: (2020)

Development of Linguistic Approach to the Problem of the Computer Electro-cardiogram's Classifications
von: Fainzilberg, L.S., et al.
Veröffentlicht: (2021)

Finding the Optimal Solution to the Problem of Conditional Optimization on the Graph of the set of Placements
von: Koliechkina, L.M., et al.
Veröffentlicht: (2020)

Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв. ІІ
von: Петрушенко, А.М.
Veröffentlicht: (2020)

A New Method of the Logical Functions Minimization in the Polynomial Set-Theoretical Format. "Handshaking" Procedure
von: Rytsar, B.Ye., et al.
Veröffentlicht: (2021)

On New Properties of Graphs with Magic Type Labeling
von: Semeniuta, M.F., et al.
Veröffentlicht: (2019)

Modification of the Algorithm for Selecting a Variable Parameter of the Gaussian Interpolation Function
von: Sidorenko, Iu.V., et al.
Veröffentlicht: (2020)

The Practical Aspect of Using a Combinatorial Model on Configuration of Combinations
von: Koliechkina, L.M., et al.
Veröffentlicht: (2019)

A Modification of the Frechet Distance for Nonnisomorphic Trees
von: Vodolazskiy, Ye.V.
Veröffentlicht: (2021)

Construction of a Mathematical Model of Multiobjective Optimization on Permutations
von: Koliechkina, L.M., et al.
Veröffentlicht: (2020)

Super Fibonacci Graceful Graphs and Fibonacci Cubes
von: Semeniuta, M.F.
Veröffentlicht: (2020)

Про деякі підходи до оцінки оптимального розв’язку задач комбінаторної оптимізації
von: Тимофієва, Н.К.
Veröffentlicht: (2019)

Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв.
von: Петрушенко, А.М.
Veröffentlicht: (2020)

Learning Task Models in the Context of Education for Sustainable Development
von: Grytsenko, V.I., et al.
Veröffentlicht: (2020)

Використання властивості періодичності для генерування комбінаторних конфігурацій
von: Тимофієва, Н.К.
Veröffentlicht: (2021)

A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. II
von: Rytsar, B.Ye.
Veröffentlicht: (2019)

A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I
von: Rytsar, B.Ye.
Veröffentlicht: (2019)

Алгебраїчний підхід та методи штучного інтелекту в сучасних системах виявлення вторгнень
von: Летичевський, О.О., et al.
Veröffentlicht: (2023)

Алгебраїчні шаблони вразливостей бінарного коду
von: Яковлев, В.М.
Veröffentlicht: (2020)

Scientific and Practical Conference of Young Scientists “Fundamental Medicine: Integrated Approaches to Cancer Therapy”
von: Brieieva, O.
Veröffentlicht: (2023)

Проблемы создания компьютерных систем с применением наноэлементной базы
von: Палагин, А.В., et al.
Veröffentlicht: (2017)

Алгебраїчний підхід до реоптимізації задач комбінаторної оптимізації та суміжні питання оцінки складності обчислень
von: Михайлюк, В.О.
Veröffentlicht: (2017)

Моделирование технологий обработки больших данных на локальной облачной платформе
von: Лозинский, А.П., et al.
Veröffentlicht: (2017)

Анализ численного моделирования динамики грунтового массива при неустановившейся напорной фильтрации
von: Богаенко, В.А., et al.
Veröffentlicht: (2014)

Киберфизические системы — распределенная система интеллектуального управления
von: Гриценко, В.И., et al.
Veröffentlicht: (2019)

Дослідження точності розв’язання дискретних некоректних задач методом випадкових проекцій
von: Ревунова, О.Г.
Veröffentlicht: (2018)

Линейная авторегрессия со случайными коэффициентами на основе метода группового учёта аргументов в условиях квазиповторных наблюдений
von: Сарычев, О.П.
Veröffentlicht: (2016)

Неполные турниры и магические типы разметок
von: Семенюта, М.Ф., et al.
Veröffentlicht: (2018)

Алгоритми кодування інформаційних об’єктів у коді умовних лишків
von: Матов, О.Я., et al.
Veröffentlicht: (2015)