RSA — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Корректность схемы \mathtt{RSA})
Строка 148: Строка 148:
 
==См. также==
 
==См. также==
 
* [[Классы чисел]]
 
* [[Классы чисел]]
 +
 +
==Примечания==
 +
 +
<references />
 +
  
 
== Источники информации ==  
 
== Источники информации ==  

Версия 09:35, 11 мая 2018

Определение:
RSA (аббревиатура от фамилий Rivest, Shamir и Adleman) — криптографический алгоритм с открытым ключом, основывающийся на вычислительной сложности задачи факторизации больших целых чисел.

Криптосистема [math]\mathtt{RSA}[/math] стала первой системой, пригодной и для шифрования, и для цифровой подписи.

Реализация

Алгоритм [math]\mathtt{RSA}[/math] включает в себя четыре этапа: генерация ключей, передача ключей, шифрование и расшифрование.

Криптографические системы с открытым ключом используют так называемые односторонние функции.

Определение:
Односторонняя функция (англ. one-way function) — математическая функция, которая легко вычисляется для любого входного значения, но задача нахождения аргумента по заданному значению функции относится к классу NP-полных задач.

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

В основу криптографической системы с открытым ключом [math]\mathtt{RSA}[/math] положена сложность задачи факторизации произведения двух больших простых чисел. Для шифрования используется операция возведения в степень по модулю большого числа. Для дешифрования (обратной операции) за разумное время необходимо уметь вычислять функцию Эйлера от данного большого числа, для чего необходимо знать разложение числа на простые множители. В криптографической системе с открытым ключом каждый участник располагает как открытым ключом (англ. public key), так и закрытым ключом (англ. private key). В криптографической системе [math]\mathtt{RSA}[/math] каждый ключ состоит из пары целых чисел. Каждый участник создаёт свой открытый и закрытый ключ самостоятельно. Закрытый ключ каждый из них держит в секрете, а открытые ключи можно сообщать кому угодно или даже публиковать их. Открытый и закрытый ключи каждого участника обмена сообщениями в криптосистеме [math]\mathtt{RSA}[/math] образуют «согласованную пару» в том смысле, что они являются взаимно обратными. То есть для любых допустимых пар открытого и закрытого ключей [math](p,s)[/math] существуют соответствующие функции шифрования [math]E_p(x)[/math] и расшифрования [math]D_s(x)[/math] такие, что для любого сообщения [math]m \in M[/math], где [math]M[/math] — множество допустимых сообщений, [math]m=D_s(E_p(m))=E_p(D_s(m)).[/math]

Создание открытого и секретного ключей

[math]\mathtt{RSA}[/math]-ключи генерируются следующим образом:

  1. Выбираются два различных случайных простых числа [math]p[/math] и [math]q[/math] заданного размера (например, [math]1024[/math] бита каждое).
  2. Вычисляется их произведение [math]n=p\cdot q[/math], которое называется модулем.
  3. Вычисляется значение функции Эйлера от числа [math]n[/math]:
    [math]\varphi(n) = (p-1)\cdot (q-1).[/math]
  4. Выбирается целое число [math]e[/math] ([math]1 \lt e \lt \varphi(n)[/math]), взаимно простое со значением функции [math]\varphi(n)[/math]. Обычно в качестве [math]e[/math] берут простые числа, содержащие небольшое количество единичных бит в двоичной записи.
    • Число [math]e[/math] называется открытой экспонентой (англ. public exponent)
    • Время, необходимое для шифрования с использованием быстрого возведения в степень, пропорционально числу единичных бит в [math]e[/math].
    • Слишком малые значения [math]e[/math], например [math]3[/math], потенциально могут ослабить безопасность схемы [math]\mathtt{RSA}[/math].
  5. Вычисляется число [math]d[/math], мультипликативно обратное к числу [math]e[/math] по модулю [math]\varphi(n)[/math], то есть число, удовлетворяющее сравнению:
    [math]d\cdot e \equiv 1 \pmod{\varphi(n)}.[/math]
    Примечание
    Сравнеие двух целых чисел по модулю натурального числа [math]m[/math] — математическая операция, позволяющая ответить на вопрос о том, дают ли два выбранных целых числа при делении на [math]m[/math] один и тот же остаток. Любое целое число при делении на [math]m[/math] дает один из [math]m[/math] m возможных остатков: число от [math]0[/math] до [math]m-1[/math].
  6. Пара [math]\left\{ e, n \right\}[/math] публикуется в качестве открытого ключа [math]\mathtt{RSA}[/math] (англ. [math]\mathtt{RSA}[/math] public key).
  7. Пара [math]\left\{ d, n \right\}[/math] играет роль закрытого ключа [math]\mathtt{RSA}[/math] (англ. [math]\mathtt{RSA}[/math] private key) и держится в секрете.


Определение:
Случайное простое число (англ. random prime numbers) — в криптографии, простое число, содержащее в двоичной записи заданное количество битов.


Передача ключей

Предположим, что Боб хочет отправить Алисе информацию . Если они решат использовать [math]\mathtt{RSA}[/math], Боб должен знать открытый ключ Алисы для того чтобы зашифровать сообщение, а Алиса должна использовать свой закрытый ключ для расшифрования сообщения. Чтобы позволить Бобу отправлять свои зашифрованные сообщения, Алиса передает свой открытый ключ Бобу через надежный, но не обязательно секретный маршрут. Закрытый ключ Алисы никогда никому не передается.

Шифрование

Предположим, Боб хочет послать Алисе сообщение [math]m[/math]. Сообщениями являются целые числа в интервале от [math]0[/math] до [math]n - 1[/math], то есть [math]m \in \mathbb{Z}_{n}[/math]. Алгоритм:

  • Взять открытый ключ [math](e,n)[/math] Алисы
  • Взять открытый текст [math]m[/math]
  • Зашифровать сообщение с использованием открытого ключа Алисы:
    [math]c = E(m) = m^e \mod n ~~~~ (1)[/math]
Gg1.png

Расшифрование

Алгоритм:

  • Принять зашифрованное сообщение [math]c[/math]
  • Взять свой закрытый ключ [math](d,n)[/math]
  • Применить закрытый ключ для расшифрования сообщения:
    [math]m = D(c) = c^d \mod n ~~~~ (2)[/math]

Корректность схемы [math]\mathtt{RSA}[/math]

Теорема:
Уравнения [math](1)[/math] и [math](2)[/math], на которых основана схема [math]\mathtt{RSA}[/math], определяют взаимно обратные преобразования множества [math]\mathbb{Z}_n[/math]
Доказательство:
[math]\triangleright[/math]

Действительно, для [math]\forall m \in \mathbb{Z}_{n}[/math]

[math]D\left( {E\left( m \right)} \right) = E\left( {D\left( m \right)} \right) = m^{ed} \mod n[/math]

Покажем, что:

[math]\forall m \in \mathbb{Z}_{n}: m^{ed} \equiv m \pmod{p}[/math].

Возможны два случая:

  • [math]m \not\equiv 0 \pmod{p}[/math].

Поскольку числа [math]e[/math] и [math]d[/math] являются взаимно обратными относительно умножения по модулю [math]\varphi(n)=(p-1)(q-1)[/math], то есть

[math]ed=1+k(p-1)(q-1)[/math] для некоторого целого [math]k[/math],

тогда:

[math]\begin{align} m^{ed} & \equiv m^{1 + k\left( {p - 1} \right)\left( {q - 1} \right)} \pmod{p} \\ & \equiv m\left( {m^{p - 1} } \right)^{k\left( {q - 1} \right)} \pmod{p} \\ & \equiv m\left( 1 \right)^{k\left( {q - 1} \right)} \pmod{p} \equiv m \pmod{p} \end{align}[/math]

где второе тождество следует из теоремы Ферма.

  • Рассмотрим второй случай:
[math]m \equiv 0 \pmod{p}[/math], то есть [math]m[/math] кратно [math]p[/math]. Значит, [math]m^{ed}[/math] кратно [math]p[/math],

таким образом:

[math]m^{ed} \equiv 0 \pmod{p} \equiv m \pmod{p}[/math]

Таким образом, при всех [math]m[/math] выполняется равенство

[math]m^{ed} \equiv m \pmod{p}[/math]

Аналогично можно показать, что:

[math]\forall m \in \mathbb{Z}_{n}: m^{ed} \equiv m \pmod{q}[/math].

Тогда, из китайской теоремы об остатках

[math]\forall m \in \mathbb{Z}_{n}: m^{ed} \equiv m \pmod{n}[/math]
[math]\triangleleft[/math]

Криптографическая стойкость

Стойкость алгоритма основывается на сложности вычисления обратной функции к функции шифрования

[math]c = E(m) = m ^ e \mod n[/math].

Для вычисления [math]m[/math] по известным [math]c, e, n[/math] нужно найти такой [math]d[/math], чтобы

[math]e \cdot d \equiv 1 \pmod{\varphi(n)},[/math]

то есть

[math]d \equiv e^{-1} \pmod{\varphi(n)}.[/math]

Вычисление обратного элемента по модулю не является сложной задачей, однако злоумышленнику неизвестно значение [math]\varphi(n)[/math]. Для вычисления функции Эйлера от известного числа [math]n[/math] необходимо знать разложение этого числа на простые множители. Нахождение таких множителей и является сложной задачей, а знание этих множителей — «потайной дверцей» (англ. backdoor), которая используется для вычисления [math]d[/math] владельцем ключа. Существует множество алгоритмов для нахождения простых сомножителей, факторизации, самый быстрый из которых на сегодняшний день — общий метод решета числового поля, скорость которого для k-битного целого числа составляет

[math] \exp (( c + o(1))k^{\frac{1}{3}} \log^{\frac{2}{3}}k)[/math] для некоторого [math]c \lt 2[/math].

В [math]2010[/math] году группе учёных из Швейцарии, Японии, Франции, Нидерландов, Германии и США удалось успешно вычислить данные, зашифрованные при помощи криптографического ключа стандарта [math]\mathtt{RSA}[/math] длиной [math]768[/math] бит. Нахождение простых сомножителей осуществлялось общим методом решета числового поля. По словам исследователей, после их работы в качестве надежной системы шифрования можно рассматривать только [math]\mathtt{RSA}[/math]-ключи длиной [math]1024[/math] бита и более. Причём от шифрования ключом длиной в [math]1024[/math] бит стоит отказаться в ближайшие три-четыре года. С [math]31[/math] декабря [math]2013[/math] года браузеры Mozilla перестали поддерживать сертификаты удостоверяющих центров с ключами [math]\mathtt{RSA}[/math] меньше [math]2048[/math] бит.

Применение

Система [math]\mathtt{RSA}[/math] используется для защиты программного обеспечения и в схемах цифровой подписи. Также она используется в открытой системе шифрования PGP и иных системах шифрования (к примеру, DarkCryptTC и формат xdc) в сочетании с симметричными алгоритмами.

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

Алгоритм шифрования сеансового ключа выглядит следующим образом:

Oo1.jpg

Шифрование

Алгоритм:

  • Взять открытый ключ [math](e,n)[/math] Алисы
  • Создать случайный сеансовый ключ [math]m[/math]
  • Зашифровать сеансовый ключ с использованием открытого ключа Алисы:
    [math]c = E(m) = m^e \mod n[/math]
  • Расшифровать сообщение [math]C[/math] с помощью сеансового ключа симметричным алгоритмом:
    [math]M_A = D_m(C)[/math]

Расшифрование

Алгоритм:

  • Принять зашифрованный сеансовый ключ Боба [math]c[/math]
  • Взять свой закрытый ключ [math](d,n)[/math]
  • Применить закрытый ключ для расшифровывания сеансового ключа:
    [math]m = D(c) = c^d \mod n[/math]
  • Зашифровать сообщение [math]M_A[/math] с помощью сеансового ключа симметричным алгоритмом:
    [math]C = E_m(M_A)[/math]

Минусы

Алгоритм [math]\mathtt{RSA}[/math] намного медленнее, чем AES и другие алгоритмы, использующие симметричные блочные шифры.

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

Из-за низкой скорости шифрования (около [math]30[/math] кбит/с при [math]512[/math] битном ключе на процессоре [math]2[/math] ГГц), сообщения обычно шифруют с помощью более производительных симметричных алгоритмов со случайным сеансовым ключом (например, AES, IDEA, Serpent, Twofish), а с помощью [math]\mathtt{RSA}[/math] шифруют лишь этот ключ, таким образом реализуется гибридная криптосистема.

См. также

Примечания


Источники информации