Тематическая секция
Криптографические средства защиты информации: разработка, сертификация, внедрение и эксплуатация
Вопросы создания, сертификации, внедрения в информационные системы и эксплуатации российских криптографических решений. Диалог представителей регулятора с разработчиками криптографических продуктов, экспертным сообществом и заказчиками информационных систем, в которых применяются СКЗИ.
- Локация
- Зал «Шишка»
- Ведущий
-
Петров Алексей Владимирович
Список докладов
Применение задачи удовлетворения ограничений для автоматического анализа интерфейсов СКЗИ
- Тырнов Филипп Александрович, инженер-аналитик, КриптоПро, МГТУ им. Баумана
Доклад посвящен методу анализа безопасности криптографических интерфейсов с использованием инструментов, предназначенных для решения общей задачи удовлетворения ограничений, при встраивании СКЗИ в информационные системы.
Особенности инструментальной и технологической поддержки фаззинг-тестирования функций криптографических библиотек с применением адаптивных биоинспирированных оптимизаций
- Гришин Максим Александрович, НИЯУ МИФИ
В работе предлагается метод повышения результативности фаззинга криптографических библиотек, основанный на семантически ориентированном применении операторов мутации к отдельным типам входных параметров в сочетании с биоинспирированными алгоритмами адаптивного выбора мутаций. Разработанная схема апробирована на ряде криптографических библиотек. Экспериментальные результаты показывают увеличение консолидированного покрытия кода и выявление ранее не обнаруженных уникальных ошибок в реализациях.
Разработка и сертификация инфраструктуры отечественных сим-карт
- Агеенко Геннадий Максимович, ФСБ России
Подходы к обеспечению надёжного хранения криптографических ключей
- Тыщенко Никита Сергеевич, ФСБ России
Некоторые вопросы разработки и сертификации средств криптографической защиты информации
- Петров Алексей Владимирович, ФСБ России
