Методы и средства автоматизированного обнаружения уязвимостей в программах на языке C на основе статического анализа их исходных текстов

Следует отметить, что в настоящее время эффективных и широко распространенных автоматизированных средств, позволяющих проверять корректность программ на языке С и выявлять в них возможные уязвимости, не существует. Традиционные средства статического анализа (аудита) исходного кода недостаточно точно анализируют семантику программы, и, как следствие, — приводят к большому количеству ложных…

Диссертация

Обеспечение устойчивости функционирования многоагентных систем защиты в условиях воздействия распределенных угроз безопасности

Степень разработанности темы исследования. Исследованию свойств MAC общего назначения, без учета необходимости выполнения задач защиты, а также исследованию особенностей бот-сетей посвящено множество работ российских и иностранных ученых, таких как И. В. Котенко, А. М. Райгородский, Н. Алон, М. Кришнамурти, И. By, Д. Шильяк, П. Эрдёш, А. Реньи, Д. Дейгон. В данных работах предложены модели оценки…

Диссертация

Разработка методического обеспечения радиотехнического контроля эффективности защиты информации на объекте

Публикации. По теме диссертационной работы опубликовано 6 научных трудов. В работах лично автору принадлежит обоснование выбора показателя эффективности радиотехнического контроля на объекте и критерия выбора оптимального варианта мероприятии по контролю, а также обоснование основных направлений решения задачи выбора оптимального варианта указанных мероприятий. В работе лично автору принадлежит…

Диссертация