Разработка метода выявления уязвимостей кода на примере переполнения буфера

Сборник тезисов

Конференция:V Всероссийский конгресс молодых ученых

Раздел:Информационные и интеллектуальные системы и технологии

Рубрика:Технология программирования и защита информации

Год:2016

Разработка метода выявления уязвимостей кода на примере переполнения буфера

Цветков Лаврентий Викторович

Спивак Антон Игоревич

УДК:004.056

Скачать PDF

Аннотация

При помощи интерпретации Брауэра–Гейтинга–Колмогорова и соответствия Карри–Ховарда возможно использование развитых систем типов для выражения как структурных, так и логических отношений, что позволяет унифицировать метод обнаружения дефектов ПО.

Разработка метода выявления уязвимостей кода на примере переполнения буфера

Разработка метода выявления уязвимостей кода на примере переполнения буфера

Аннотация

Постоянный URL

Материалы конференций

Разработка метода выявления уязвимостей кода на примере переполнения буфера

Разработка метода выявления уязвимостей кода на примере переполнения буфера

Аннотация

Постоянный URL

Поделиться

Материалы конференций