Геометрическая криптография: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
уточнение
дополнение
Строка 1: Строка 1:
'''Геометрическая криптография''' — область [[Криптография|криптографии]], основной идеей которой является представление сообщений и шифротекстов в виде геометрических величин: углов, отрезков, а вычисления проводятся с помощью циркуля и линейки. Данная область криптографии основана на сложности решения определенного класса геометрических задач, например, трисекции угла.
'''Геометрическая криптография''' — теоретические [[криптография|криптографические]] методы, в которых сообщения и шифротексты представлены в виде геометрических величин: углов, отрезков, а вычисления проводятся с помощью циркуля и линейки. Основана на сложности решения определенного класса геометрических задач, например, трисекции угла.
Геометрическая криптография не имеет практического применения, но её предлагается использовать в педагогических целях, чтобы наглядно продемонстрировать принципы криптографии такие, как, например, протокол с нулевым разглашением информации<ref>{{Cite web |description=Unpublished |author=Mike Burmester, [[Ривест, Рональд Линн|Ronald L Rivest]] and [[Шамир, Ади|Adi Shamir]] |title=Geometric Cryptography: Identification by Angle Trisection |url=http://people.csail.mit.edu/rivest/BurmesterRivestShamir-geometric.pdf |lang=en|date=November 4, 1997}}</ref>.
Геометрическая криптография не имеет практического применения, но её предлагается использовать в педагогических целях, чтобы наглядно продемонстрировать принципы криптографии такие, как, например, протокол с нулевым разглашением информации. Геометрическая криптография была предложена в неопубликованной работе<ref>{{Cite web |description=Unpublished |author=Mike Burmester, [[Ривест, Рональд Линн|Ronald L Rivest]] and [[Шамир, Ади|Adi Shamir]] |title=Geometric Cryptography: Identification by Angle Trisection |url=http://people.csail.mit.edu/rivest/BurmesterRivestShamir-geometric.pdf |lang=en|date=November 4, 1997}}</ref>. Является примером криптографии в нестандартной [[Модель вычислений|модели вычислений]]<ref>{{Статья |заглавие=Cryptography in an Unbounded Computational Model |ссылка=https://link.springer.com/chapter/10.1007/3-540-46035-7_10 |язык=en |издание=Advances in Cryptology — EUROCRYPT 2002 |издательство=Springer, Berlin, Heidelberg |год=2002-04-28 |страницы=149–164 |doi=10.1007/3-540-46035-7_10}}</ref><ref>{{Статья |автор=Edward Ruggeri |заглавие=Cryptography in an unconventional model |ссылка=http://www.math.uchicago.edu/~may/VIGRE/VIGRE2007/REUPapers/FINALFULL/Ruggeri.pdf |язык=en |издание=University of Chicago VIGRE REU 2007}}</ref>.


== Аксиоматика ==
== Аксиоматика ==

Версия от 08:05, 13 декабря 2018

Геометрическая криптография — теоретические криптографические методы, в которых сообщения и шифротексты представлены в виде геометрических величин: углов, отрезков, а вычисления проводятся с помощью циркуля и линейки. Основана на сложности решения определенного класса геометрических задач, например, трисекции угла. Геометрическая криптография не имеет практического применения, но её предлагается использовать в педагогических целях, чтобы наглядно продемонстрировать принципы криптографии такие, как, например, протокол с нулевым разглашением информации. Геометрическая криптография была предложена в неопубликованной работе[1]. Является примером криптографии в нестандартной модели вычислений[2][3].

Аксиоматика

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

Простейшие операции, осуществимые с помощью циркуля и линейки на плоскости:

  • Через две данные точки и можно провести прямую , притом единственную.
  • Две различные перескающиеся прямые имеют точку пересечения, притом единственную.
  • Пусть и различные точки, то всегда существуют различные точки , несовпадающие с точками и , удовлетворящие следующим условиям:
  1. прямой
  • Пусть — отрезок, — луч. Тогда существует точка , такая что и конгруэнтны.
  • Имея окружность и пересекающую её прямую, можно получить точки их пересечения.

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

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

  • Возможно выбрать конечное число точек принадлежащих единичному кругу

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

Протокол идентификации

Алиса (доказывающая сторона) должна подтвердить свою личность Бобу (проверяющей стороне).

Инициализация: Алиса случайным образом генерирует угол , публикует угол в три раза больший . При этом Алиса может быть уверена, что угол известен только ей.

Протокол идентификации:

  1. Алиса передает Бобу угол , где угол выбран случайно.
  2. Боб бросает монетку и сообщает Алисе результат.
  3. Если выпадает "орел", Алиса передает Бобу угол , и Боб проверяет, что . В противном случае, Алиса передает Бобу угол, Боб проверяет, что .

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

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

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

Доказательство:

Пространство событий с точки зрения Боба состоит из исходов двух типов: .

Для имитации первого случая Бобу достаточно взять случайный угол и угол . Случайно выбирая угол и выражая из соотношения , Боб может имитировать второй случай.

Таким образом Боб может полностью имитировать свое взаимодействие с Алисой, а значит не получает никакой информации о ключе .

Протокол аутентификации

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

Инициализация: Для данного протокола Алисе необходимы два ключа . Публикуются углы . Для аутентификации сообщения Алиса доказывает Бобу, что ей известен угол , используя описанный ранее протокол идентификации.

Протокол аутентификации:

  1. Алиса передает Бобу угол , где угол выбирается случайно.
  2. Боб кидает монетку и сообщает Алисе о результате в виде .
  3. Алиса отправляет Бобу угол . Боб проверяет, что .

Литература

  • The New Encyclopdia Brittanica, Volume 19, Geometry, pages 887-936
  • John Rompel, One-way functions are necessary and sufficient for secure signatures, In Proc. 22nd ACM Symp. on Theory of Computing, ACM, Baltimore, Maryland, 1990, pages 387-394

Примечания

  1. Mike Burmester, Ronald L Rivest and Adi Shamir. Geometric Cryptography: Identification by Angle Trisection (англ.) (4 ноября 1997). — Unpublished.
  2. Cryptography in an Unbounded Computational Model (англ.) // Advances in Cryptology — EUROCRYPT 2002. — Springer, Berlin, Heidelberg, 2002-04-28. — P. 149–164. — doi:10.1007/3-540-46035-7_10.
  3. Edward Ruggeri. Cryptography in an unconventional model (англ.) // University of Chicago VIGRE REU 2007.