2013
- Автоматизированная система Категорирования веб-сайтов для блокирования веб-страниц с неприемлемым содержимым С. 119-127
- Верификация информационных потоков для проектирования защищенных информационных систем со встроенными устройствами С. 112-117
- Применение графов атак для оценки защищенности компьютерных сетей и анализа событий безопасности С. 103-110
2012
- Анализ информационных потоков для построения защищенных систем со встроенными устройствами С. 116-122
- Применение онтологий и логического вывода для управления информацией и событиями безопасности С. 100-108
- Конфигурирование компонентов комбинированной защиты встроенных устройств на основе решения оптимизационной задачи С. 50-56