Buchumschlag

Алгебраїчні шаблони вразливостей бінарного коду

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2020
1. Verfasser:	Яковлев, В.М.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2020
Schlagworte:	Методи та засоби комп'ютерного моделювання
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/180422
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:	Алгебраїчні шаблони вразливостей бінарного код / В.М. Яковлев // Проблеми програмування. — 2020. — № 1. — С. 47-54. — Бібліогр.: 11 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Алгоритм сингулярного розкладу матриць на графічному процесорі
von: Сухарський, С.С.
Veröffentlicht: (2023)

Simulations of human hemodynamic responses to blood temperature and volume changes
von: Grygoryan, R.D., et al.
Veröffentlicht: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
von: Khimich, O.M., et al.
Veröffentlicht: (2022)

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2022)

Інтелектуалізовані високопродуктивні системи планування пластичних і реконструктивних операцій на обличчі людини
von: Романюк , С.О., et al.
Veröffentlicht: (2021)

Контрольні основи для коду умовних лишків
von: Матов, О.Я., et al.
Veröffentlicht: (2011)

Захист цілісності інформації при застосуванні коду "зважених груп"
von: Матов, О.Я., et al.
Veröffentlicht: (2013)

Вибір величини контрольної основи для коду умовних лишків
von: Матов, О.Я., et al.
Veröffentlicht: (2010)

Алгебраїчні атаки на потокові шифратори як узагальнення кореляційних атак
von: Пометун, С.О.
Veröffentlicht: (2008)

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

Метод генерации тестовых данных по исходному коду Java программ
von: Колчин, А.В., et al.
Veröffentlicht: (2016)

Алгебраїчні властивості ядер узагальнених нейрофункцій
von: Гече, Ф.Е., et al.
Veröffentlicht: (2018)

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ
von: Волков, В.А., et al.
Veröffentlicht: (2017)

Показники роботи газопарових установок бінарного типу
von: Chepurniy M.N., et al.
Veröffentlicht: (2004)

До відкриття латентного бінарного фактора в статистичних даних категорного типу
von: Андон, П.І., et al.
Veröffentlicht: (2008)

Алгебраїчні атаки на потокові шифратори як узагальнення кореляційних атак
von: Pometun, S. O.
Veröffentlicht: (2017)

Особливості забезпечення життєздатності програмних систем в умовах генеруючого програмування
von: Ігнатенко, П.П., et al.
Veröffentlicht: (2008)

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
von: Антонов, В.М., et al.
Veröffentlicht: (2010)

Аналіз вразливостей смарт-карт в аспекті моделювання систем захисту на їх основі
von: Давиденко, А.М., et al.
Veröffentlicht: (2009)

Розпізнавання генетичного коду української літератури
von: Сулима, М.
Veröffentlicht: (2013)

Методика оцінювання деяких характеристик якості прикладних програмних систем
von: Ткаченко, В.М.
Veröffentlicht: (2006)

Компонентно-орієнтований підхід до розробки програмних систем на основі інтеграції менеджерів інформаційних ресурсів
von: Грищенко, В.М.
Veröffentlicht: (2005)

Ін’єкція функціональних залежностей у контейнері інверсії керування
von: Глибовець, М.М.
Veröffentlicht: (2014)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
von: Парасюк, І.М., et al.
Veröffentlicht: (2008)

Підтримка придатності та продовження експлуатації програмного забезпечення авіаційної техніки
von: Луцький, М.Г., et al.
Veröffentlicht: (2010)

Визначення предмету – програмна інженерія
von: Лавріщева, К.М.
Veröffentlicht: (2008)

Підходи інженерії якості сімейств програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2008)

Особливості перекладу українською наукових текстів з інженерії програмування
von: Щоголева, Н.М., et al.
Veröffentlicht: (2008)

Про мінімальну систему твірних у групі автоморфізмів бінарного кореневого дерева
von: Лавренюк, Я.В.
Veröffentlicht: (2012)

Парадигмы программирования сборочного типа в программной инженерии
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2006)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Формалізми об’єктного проектування і тестування розподілених програмних систем
von: Лавріщева, К.М., et al.
Veröffentlicht: (2013)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
von: Годлевский, М.Д., et al.
Veröffentlicht: (2006)

Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека
von: Кузьмина, К.И., et al.
Veröffentlicht: (2017)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
von: Чебанюк, О.В., et al.
Veröffentlicht: (2012)

Создание методологии проэктирования CASE-сред на базе ситуационного метода
von: Зинькович, В.М., et al.
Veröffentlicht: (2005)

Про оптимальне керування в системі "хижак-жертва"
von: Пашко, С.В.
Veröffentlicht: (2020)

Аналіз платоспроможності позичальника – представника домогосподарства за допомогою економетричних моделей бінарного вибору
von: Жук, М.О., et al.
Veröffentlicht: (2013)