Нейтрализация уязвимостей программного кода
и язык ДРАКОН на транспорте
В 2017 году Константин Израилов защитил диссертацию на тему "МЕТОД АЛГОРИТМИЗАЦИИ МАШИННОГО КОДА ДЛЯ ПОИСКА УЯЗВИМОСТЕЙ В ТЕЛЕКОММУНИКАЦИОННЫХ УСТРОЙСТВАХ".
Диссертация прилагается. Ее можно скачать.
Цитата:
«Санкт-Петербургский государственный университет телекоммуникаций
им. проф. М.А. Бонч-Бруевича»
Израилов Константин Евгеньевич
МЕТОД АЛГОРИТМИЗАЦИИ МАШИННОГО КОДА
ДЛЯ ПОИСКА УЯЗВИМОСТЕЙ
В ТЕЛЕКОММУНИКАЦИОННЫХ УСТРОЙСТВАХ
Специальность 05.13.19 – Методы и системы защиты информации, информационная безопасность
Диссертация на соискание ученой степени
кандидата технических наук
Научный руководитель
доктор технических наук, профессор
Буйневич Михаил Викторович
Санкт-Петербург – 2017
им. проф. М.А. Бонч-Бруевича»
Израилов Константин Евгеньевич
МЕТОД АЛГОРИТМИЗАЦИИ МАШИННОГО КОДА
ДЛЯ ПОИСКА УЯЗВИМОСТЕЙ
В ТЕЛЕКОММУНИКАЦИОННЫХ УСТРОЙСТВАХ
Специальность 05.13.19 – Методы и системы защиты информации, информационная безопасность
Диссертация на соискание ученой степени
кандидата технических наук
Научный руководитель
доктор технических наук, профессор
Буйневич Михаил Викторович
Санкт-Петербург – 2017
Вложение:
Используя результаты этой диссертации, группа авторов разработала "Защиту программного обеспечения системы управления магнитолевитационным транспортом" с использованием языка ДРАКОН.
Статья прилагается. Ее можно скачать.
Цитата:
Корниенко А.А., Глухов А.П., Диасамидзе С.В., Шатов А.М. Защита программного обеспечения системы управления магнитолевитационным транспортом // Транспортные системы и технологии. – 2018. – Т. 4. – № 4. – С. 138–145. doi: 10.17816/10.17816/transsyst201844138-145
Вложение: