Лучшие вопросы
Таймлайн
Чат
Перспективы

Схема разделения секрета Шамира

Из Википедии, свободной энциклопедии

Remove ads

Схема интерполяционных полиномов Лагранжа (схема разделения секрета Шамира или схема Шамира) — схема разделения секрета, широко используемая в криптографии. Схема Шамира позволяет реализовать  — пороговое разделение секретного сообщения (секрета) между сторонами так, чтобы только любые и более сторон () могли восстановить секрет. При этом любые и менее сторон не смогут восстановить секрет.

Remove ads

История

В 1979 году израильский криптоаналитик Ади Шамир предложил пороговую схему разделения секрета между сторонами, которая позволяет проводить разделение таким образом, что[1]:

  • Для восстановления секрета достаточно и больше сторон.
  • Никакие и меньше сторон не смогут получить никакой информации о секрете.
Remove ads

Идея

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

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

Основная идея данной схемы состоит в том, что интерполяция невозможна, если известно меньшее число точек[1].

Если мы хотим разделить секрет между людьми таким образом, чтобы восстановить его могли только человек (), мы «прячем» его в формулу многочлена степени . Восстановить этот многочлен и исходный секрет можно только по точкам. Количество же различных точек многочлена не ограничено (на практике оно ограничивается размером числового поля, в котором ведутся расчёты)[2].

Remove ads

Описание

Суммиров вкратце
Перспектива

Подготовительная фаза

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

Выберем некоторое простое число . Это число можно открыто сообщать всем участникам. Оно задаёт конечное поле размера . Над этим полем построим многочлен степени (то есть случайно выберем все коэффициенты многочлена, кроме )[3]:

В этом многочлене  — это разделяемый секрет, а остальные коэффициенты  — некоторые случайные числа, которые нужно будет «забыть» после того, как процедура разделения секрета будет завершена[3].

Генерация долей секрета

Теперь вычисляем «доли» — значения построенного выше многочлена, в различных точках, причём [3]:

Thumb
Рассмотрим простой случай, когда для восстановления секрета необходимо две тени. Многочлен, в этом случае, будет задавать прямую, пересекающуюся с осью в точке (секрет). Каждая доля — точка на прямой. Секрет может быть восстановлен по двум произвольным теням. Однако, в случае задания лишь одной тени в качестве искомого секрета может быть выбрана любая точка на оси , так как через одну точку можно провести множество различных прямых, пересекающихся с осью в произвольных точках

Аргументы многочлена (номера секретов) не обязательно должны идти по порядку, главное — чтобы все они были различны по модулю .

После этого каждой стороне, участвующей в разделении секрета, выдаётся доля секрета вместе с номером . Помимо этого, всем сторонам сообщается степень многочлена и размер поля . Случайные коэффициенты и сам секрет «забываются»[3].

Восстановление секрета

Теперь любые участников, зная координаты различных точек многочлена, смогут восстановить многочлен и все его коэффициенты, включая последний из них — разделяемый секрет[3].

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

Прямолинейное восстановление коэффициентов многочлена через решение системы уравнений можно заменить на вычисление интерполяционного многочлена Лагранжа (отсюда одно из названий метода). Формула многочлена будет выглядеть следующим образом[3]:

где  — координаты точек многочлена. Все операции выполняются также в конечном поле [3].

Remove ads

Свойства

Суммиров вкратце
Перспектива

К достоинствам данной схемы разделения секрета относят[1]:

  1. Идеальность: отсутствует избыточность — размер каждой из долей секрета равен размеру секрета.
  2. Масштабируемость: в условиях схемы число владельцев долей секрета может дополнительно увеличиться вплоть до , где — размер поля, в котором ведутся вычисления. При этом количество долей , необходимых для получения секрета, останется неизменным.
  3. Динамичность: можно периодически менять используемый многочлен и пересчитывать тени, сохраняя секрет (свободный член) неизменным. При этом вероятность нарушения защиты путем утечки теней уменьшится, так как для получения секрета нужно теней, полученных на одной версии многочлена.
  4. Гибкость: в тех случаях, когда стороны не являются равными между собой, схема позволяет это учесть путём выдачи сразу нескольких теней одной стороне. Например, пусковой код баллистической ракеты может быть разделён по схеме так, чтобы ракету могли запустить лишь три генерала, которые соберутся вместе, либо любой из генералов и президент, которому при разделении секрета было выдано сразу две тени.

Недостатки[4]:

  1. Ненадёжность дилера: по умолчанию в схеме предполагается, что тот, кто генерирует и раздаёт тени, надёжен, что не всегда верно.
  2. Нет проверки корректности теней сторон: участвующая в разделении сторона не может с уверенностью сказать, что её тень подлинна — при подстановке в исходный многочлен получается верное равенство.
Remove ads

Использование

Данная схема нашла применение в инфраструктуре открытых ключей, где её используют для многопользовательской авторизации с помощью аппаратных криптографических модулей[5].

Также схема используется в цифровой стеганографии для скрытой передачи информации в цифровых изображениях[6][7][8][9], для противодействия атакам по сторонним каналам при реализации алгоритма AES[10].

Помимо этого, с помощью схемы Шамира может осуществляться нанесение цифрового водяного знака при передаче цифрового видео[11] и генерация персонального криптографического ключа, используемого в биометрических системах аутентификации[12].

Remove ads

Пример

Суммиров вкратце
Перспектива

Пусть нужно разделить секрет «11» между 5 сторонами. При этом любые 3 стороны должны иметь возможность восстановить этот секрет. То есть нужно реализовать -пороговую схему[3].

Возьмём простое число . Построим многочлен степени :

В этом многочлене  — это разделяемый секрет, а остальные коэффициенты 7 и 8 — некоторые случайные числа, которые нужно будет «забыть» после того, как процедура разделения секрета будет завершена.

Теперь вычисляем координаты 5 различных точек:

После этого ключи (вместе с их номером, числом и степенью многочлена ) раздаются сторонам. Случайные коэффициенты и сам секрет «забываются».

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

Очевидно, что с меньшим числом известных секретов получится меньше уравнений и систему решить будет нельзя (даже полным перебором решений).

Построим интерполяционный многочлен Лагранжа:


Получим исходный многочлен:

Последний коэффициент многочлена —  — и является секретом[3].

Remove ads

См. также

Примечания

Литература

Ссылки

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads