Математики научили хаотическое шифрование работать даже с неточными ключами

В математике хаос означает не беспорядок, а особый тип строго определенного поведения: крошечное изменение начальных условий со временем приводит к совершенно другому результату. Именно эта чувствительность давно привлекает исследователей криптографии. Если использовать хаотическую систему для перемешивания пикселей изображения, небольшое изменение секретного ключа должно создавать совершенно иную зашифрованную картину. Но у такого подхода есть проблема: реальные устройства работают не с идеальными числами.

Параметры могут немного изменяться из-за ограниченной точности вычислений, особенностей электроники, ошибок измерения или шума. Некоторые математические системы остаются хаотическими только в определенных областях параметров. Небольшое отклонение способно неожиданно перевести их в периодический режим, где вместо сложной непредсказуемой последовательности начинает повторяться сравнительно простой рисунок.

Авторы новой работы попытались сделать неопределенность частью самой модели. Для этого они объединили устойчивый хаос с нечеткой математикой. Устойчивым называют хаос, который сохраняется не в одной тщательно подобранной точке параметров, а во всем непрерывном диапазоне их значений. Это принципиально важно: система не должна внезапно становиться регулярной после небольшого изменения настройки.

Вторая составляющая — нечеткая логика. Несмотря на название, она не означает приблизительные или плохо определенные вычисления. Ее задача — математически описывать ситуации, когда параметр нельзя представить одним абсолютно точным числом. Вместо утверждения «ключевой параметр равен ровно этому значению» можно задать диапазон возможных значений и степень их принадлежности рассматриваемому состоянию.

Исследователи разработали так называемые нечеткие косые отображения. Отображением математики называют правило, которое преобразует одно состояние системы в следующее. При многократном повторении такой операции возникает последовательность значений. Если отображение хаотическое, две почти одинаковые исходные точки быстро порождают совершенно разные последовательности.

Ключевой вопрос состоял в том, сохранится ли хаос после добавления неопределенности. Расчеты показали, что предложенные отображения продолжают демонстрировать положительные показатели Ляпунова. Этот показатель характеризует скорость расхождения близких траекторий: положительное значение означает, что первоначально почти неразличимые состояния со временем быстро становятся совершенно разными.

Еще одно важное свойство — отсутствие так называемых периодических окон. В некоторых хаотических моделях при изменении параметра существуют небольшие диапазоны, где сложная динамика неожиданно сменяется повторяющимся циклом. Для генератора криптографической последовательности это нежелательно, поскольку регулярность потенциально уменьшает непредсказуемость. Новая модель сохраняла хаотический режим при рассматриваемой неопределенности параметров.

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

Исследователи проверили несколько стандартных статистических характеристик. Энтропия зашифрованных изображений приближалась к теоретическому пределу в 8 бит на пиксель, а корреляция между соседними пикселями становилась близкой к нулю. Это означает, что характерная для обычной фотографии зависимость между соседними участками практически исчезала.

Дополнительно использовали показатели NPCR и UACI. Первый показывает, какая доля пикселей зашифрованного изображения изменяется после минимального изменения исходной картинки. Полученные значения приближались к 99,6%. UACI измеряет среднюю величину этих изменений и составлял около 33,5%. Вместе такие тесты оценивают чувствительность алгоритма к небольшим изменениям входных данных.

Результаты сохранялись при разных способах математического описания неопределенности — треугольном, трапецеидальном и гауссовом. Авторы также сравнили новый подход с нечеткими вариантами известных логистического, тентового и чебышевского отображений. Косые отображения в проведенных тестах давали несколько более сильные статистические показатели.

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

Это особенно существенно для хаотической криптографии. Математически хаотическая система может быть чрезвычайно чувствительной к исходным условиям, но после переноса на цифровой компьютер она работает с конечным числом возможных значений. Поэтому непрерывный математический хаос и криптографическая стойкость реальной программы — связанные, но не тождественные свойства.

Интересна и вычислительная сторона работы. По оценке авторов, затраты растут линейно с размером изображения и количеством анализируемых уровней неопределенности. Это делает концепцию потенциально применимой к большим изображениям и устройствам с ограниченными ресурсами, хотя практические аппаратные испытания еще предстоят.

Главная идея исследования поэтому шире конкретного алгоритма шифрования картинок. Обычно неопределенность рассматривают как помеху, которую необходимо устранить до начала вычислений. Здесь ее включили непосредственно в математическую конструкцию и проверили, сохраняется ли хаотическое поведение во всем допустимом диапазоне. Если подход выдержит полноценный криптографический анализ и испытания на реальном оборудовании, подобный принцип может оказаться полезен там, где идеальная точность параметров недостижима по определению.