Защита сред облачных вычислений путём верификации программного обеспечения на наличие деструктивных свойств
Туманов, Юрий Михайлович, 2012, кандидатская диссертация
Национальный исследовательский ядерный университет, Москва
135 стр.
Ключевые слова
ОВ - облачные вычисления, верификация программ
Другие работы по этой специальности
- Модель и алгоритмы обеспечения безопасности управления доступом в операционных системах семейства Linux
Каннер, Андрей Михайлович · 2022 · Канд. наук · ФГАОУ ВО «Национальный исследовательский ядерный университет «МИФИ»
- Моделирование состояний аппаратной компоненты для тестирования средств защиты информации
Каннер, Татьяна Михайловна · 2022 · Канд. наук · ФГАОУ ВО «Национальный исследовательский ядерный университет «МИФИ»
- Методы и алгоритмы построения устойчивых распределенных реестров с использованием многомерного блокчейна = : Methods and algorithms of robust distributed ledgers construction based on multidimensional blockchain
Шилов, Илья Михайлович · 2022 · Канд. наук · ФГАОУ ВО «Национальный исследовательский университет ИТМО»
- Методика построения сетей квантового распределения ключей смешанной топологии
Жиляев, Андрей Евгеньевич · 2022 · Канд. наук · ФГБОУ ВО «Томский государственный университет систем управления и радиоэлектроники»
- Модель и методика обнаружения низкоинтенсивных распределенных атак типа «отказ в обслуживании» в информационно-телекоммуникационных системах
Тарасов, Ярослав Викторович · 2021 · Канд. наук · ФГАОУ ВО «Национальный исследовательский университет ИТМО»