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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2020
Автор:	Яковлев, В.М.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2020
Теми:	Методи та засоби комп'ютерного моделювання
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/180422
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгебраїчні шаблони вразливостей бінарного код / В.М. Яковлев // Проблеми програмування. — 2020. — № 1. — С. 47-54. — Бібліогр.: 11 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Simulations of human hemodynamic responses to blood temperature and volume changes
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
за авторством: Khimich, O.M., та інші
Опубліковано: (2022)

Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2022)

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

Контрольні основи для коду умовних лишків
за авторством: Матов, О.Я., та інші
Опубліковано: (2011)

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

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

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

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

Метод генерации тестовых данных по исходному коду Java программ
за авторством: Колчин, А.В., та інші
Опубліковано: (2016)

Алгебраїчні властивості ядер узагальнених нейрофункцій
за авторством: Гече, Ф.Е., та інші
Опубліковано: (2018)

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

Показники роботи газопарових установок бінарного типу
за авторством: Chepurniy M.N., та інші
Опубліковано: (2004)

До відкриття латентного бінарного фактора в статистичних даних категорного типу
за авторством: Андон, П.І., та інші
Опубліковано: (2008)

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

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

Кіберакмеологічна концепція та принципи проектування програмно-технологічних систем
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу
за авторством: Антонов, В.М., та інші
Опубліковано: (2010)

Аналіз вразливостей смарт-карт в аспекті моделювання систем захисту на їх основі
за авторством: Давиденко, А.М., та інші
Опубліковано: (2009)

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

Методика оцінювання деяких характеристик якості прикладних програмних систем
за авторством: Ткаченко, В.М.
Опубліковано: (2006)

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

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

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

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

Визначення предмету – програмна інженерія
за авторством: Лавріщева, К.М.
Опубліковано: (2008)

Підходи інженерії якості сімейств програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2008)

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

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

Парадигмы программирования сборочного типа в программной инженерии
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

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

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

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

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
за авторством: Годлевский, М.Д., та інші
Опубліковано: (2006)

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

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

Создание методологии проэктирования CASE-сред на базе ситуационного метода
за авторством: Зинькович, В.М., та інші
Опубліковано: (2005)

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

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