Модель дедуктивно-параллельного синхронного анализа уязвимостей

Хаханов, В.И.; Мищенко, А.С.

Please use this identifier to cite or link to this item: http://essuir.sumdu.edu.ua/handle/123456789/44198

Or use following links to share this resource in social networks: Recommend this item

Title	Модель дедуктивно-параллельного синхронного анализа уязвимостей
Authors	Хаханов, В.И. Мищенко, А.С.
ORCID
Keywords	дедуктивний аналіз дедуктивный анализ deductive analysis
Type	Conference Papers
Date of Issue	2013
URI	http://essuir.sumdu.edu.ua/handle/123456789/44198
Publisher	Сумский государственный университет
License
Citation	Хаханов, В.И. Модель дедуктивно-параллельного синхронного анализа уязвимостей [Текст] / В.И. Хаханов, А.С. Мищенко // Фізика, електроніка, електротехніка: матеріали та програма науково-технічної конференції, м. Суми, 22-27 квітня 2013 р. / Відп. за вип. С.І. Проценко. - Суми: СумДУ, 2013. - С. 185.
Abstract	Предлагается модель дедуктивно-параллельного синхронного анализа уязвимостей (проникновений) киберсистемы (объекта), которая позволяет за одну итерацию обработки структуры вычислить все деструктивы, проверяемые на тест-векторе. Цель дедуктивного анализа – определить качество синтезируемого теста относительно полноты покрытия им уязвимостей, а также построить таблицу проверки тестовыми наборами всех обнаруженных уязвимостей КС для выполнения процедур диагностирования.
Appears in Collections:	Наукові видання (ЕлІТ)