Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Control systems & computers
Дата:	2019
Автори:	Летичевський, О.О., Гринюк, Я.В., Яковлев, В.М.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2019
Теми:	Fundamental Problems in Computer Science
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/181087
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгебраїчний підхід у формалізації вразливостей в бінарному коді / О.О. Летичевський, Я.В. Гринюк, В.М. Яковлев // Control systems & computers. — 2019. — № 6. — С. 5-20. — Бібліогр.: 9 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Новий підхід до визначення якості комунальних послуг
за авторством: Палагін, О.В., та інші
Опубліковано: (2020)

Кваліметричний підхід до моделювання оцінки синергетичного ефекту функціонування транспортно-логістичної системи
за авторством: Гриценко, В.І., та інші
Опубліковано: (2021)

Синтез чотирирівневої схеми суміщеного автомата
за авторством: Баркалов, О.О., та інші
Опубліковано: (2019)

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

Оптимізація композиційного мікропрограмного пристрою управління з елементарними ланцюгами
за авторством: Баркалов, О.О., та інші
Опубліковано: (2021)

Простеження об’єктів при відеоспостереженні
за авторством: Кийко, В.М., та інші
Опубліковано: (2020)

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

Гармонізація національних і міжнародних стандартів впровадження технологій цифрової економіки
за авторством: Гриценко, В.І., та інші
Опубліковано: (2020)

The Practical Aspect of Using a Combinatorial Model on Configuration of Combinations
за авторством: Koliechkina, L.M., та інші
Опубліковано: (2019)

Image Enhancement In Video Analytics Systems
за авторством: Golovin, O.M.
Опубліковано: (2020)

Learning Task Models in the Context of Education for Sustainable Development
за авторством: Grytsenko, V.I., та інші
Опубліковано: (2020)

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

Frechet Similarity Between Two Ambigiously Defined Polygonal Lines
за авторством: Vodolazskiy, Ye.V.
Опубліковано: (2021)

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

Construction of a Mathematical Model of Multiobjective Optimization on Permutations
за авторством: Koliechkina, L.M., та інші
Опубліковано: (2020)

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

Modification of the Algorithm for Selecting a Variable Parameter of the Gaussian Interpolation Function
за авторством: Sidorenko, Iu.V., та інші
Опубліковано: (2020)

Finding the Optimal Solution to the Problem of Conditional Optimization on the Graph of the set of Placements
за авторством: Koliechkina, L.M., та інші
Опубліковано: (2020)

Super Fibonacci Graceful Graphs and Fibonacci Cubes
за авторством: Semeniuta, M.F.
Опубліковано: (2020)

A Modification of the Frechet Distance for Nonnisomorphic Trees
за авторством: Vodolazskiy, Ye.V.
Опубліковано: (2021)

Development of Linguistic Approach to the Problem of the Computer Electro-cardiogram's Classifications
за авторством: Fainzilberg, L.S., та інші
Опубліковано: (2021)

A New Method of the Logical Functions Minimization in the Polynomial Set-Theoretical Format. "Handshaking" Procedure
за авторством: Rytsar, B.Ye., та інші
Опубліковано: (2021)

On New Properties of Graphs with Magic Type Labeling
за авторством: Semeniuta, M.F., та інші
Опубліковано: (2019)

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

ADALINE Robust Multistep Training Algorithm
за авторством: Rudenko, O.G., та інші
Опубліковано: (2020)

A New Method for Symmetry Recognition in Boolean Functions Based on the Set-Theoretical Logic Differentiation. I
за авторством: Rytsar, B.Ye.
Опубліковано: (2019)

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

Проблемы создания компьютерных систем с применением наноэлементной базы
за авторством: Палагин, А.В., та інші
Опубліковано: (2017)

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

Scientific and Practical Conference of Young Scientists “Fundamental Medicine: Integrated Approaches to Cancer Therapy”
за авторством: Brieieva, O.
Опубліковано: (2023)

Моделирование технологий обработки больших данных на локальной облачной платформе
за авторством: Лозинский, А.П., та інші
Опубліковано: (2017)

Анализ численного моделирования динамики грунтового массива при неустановившейся напорной фильтрации
за авторством: Богаенко, В.А., та інші
Опубліковано: (2014)

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

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

Неполные турниры и магические типы разметок
за авторством: Семенюта, М.Ф., та інші
Опубліковано: (2018)

Обзор и классификация методов стеганоанализа
за авторством: Кошкина, Н.В.
Опубліковано: (2015)

Обнаружение закономерностей сходства, равенства и порядка
за авторством: Васильев, В.И.
Опубліковано: (2009)

О существовании точного метода факторизации составных чисел
за авторством: Семотюк, М.В.
Опубліковано: (2011)

Постановки та математичні моделі проблем оптимізації маршрутів літальних апаратів з динамічними депо
за авторством: Горбулін, В.П., та інші
Опубліковано: (2019)

Обобщенный итерационный алгоритм метода группового учета аргументов
за авторством: Степашко, В.С., та інші
Опубліковано: (2013)