Статья 'Особенности применения теории решеток в схемах электронной цифровой подписи' - журнал 'Кибернетика и программирование' - NotaBene.ru
по
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Online First Pre-Publication > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

Публикация за 72 часа - теперь это реальность!
При необходимости издательство предоставляет авторам услугу сверхсрочной полноценной публикации. Уже через 72 часа статья появляется в числе опубликованных на сайте издательства с DOI и номерами страниц.
По первому требованию предоставляем все подтверждающие публикацию документы!
ГЛАВНАЯ > Вернуться к содержанию
Кибернетика и программирование
Правильная ссылка на статью:

Особенности применения теории решеток в схемах электронной цифровой подписи

Пискова Антонина Владиславовна

аспирант, кафедра Проектирования и безопасности компьютерных систем, Университет ИТМО

197101, Россия, г. Санкт-Петербург, Кронверкский проспект, 49

Piskova Antonina Vladislavovna

graduate student, Department of Design and Security of Computer Systems, ITMO University

197101, Russia, Saint Petersburg, Kronverkskii prospekt, 49

piter-ton@mail.ru
Коробейников Анатолий Григорьевич

доктор технических наук

профессор, Санкт-Петербургский филиал Федерального государственного бюджетного учреждения науки Института земного магнетизма, ионосферы и распространения радиоволн им. Н.В.Пушкова Российской академии наук.

199034, Россия, г. Санкт-Петербург, ул. Менделеевская, 1

Korobeinikov Anatolii Grigor'evich

Doctor of Technical Science

professor, Pushkov institute of terrestrial magnetism, ionosphere and radio wave propagation of the Russian Academy of Sciences St.-Petersburg Filial

199034, Russia, g. Saint Petersburg, ul. Mendeleevskaya, 1

Korobeynikov_A_G@mail.ru
Другие публикации этого автора
 

 

DOI:

10.7256/2306-4196.2016.2.17970

Дата направления статьи в редакцию:

12-02-2016


Дата публикации:

03-03-2016


Аннотация: Предметом исследования в данной работе являются схемы электронно-цифровой подписи, так как они являются важным элементом при построении защищенных систем и используются в большинстве реальных протоколов безопасности. Стойкость существующих схем электронно-цифровой подписи может быть серьезно ослаблена в случае достижений в классической криптоаналитике или прогресса в развитии квантовых компьютеров. Потенциальным альтернативным подходом является построение схем на основе сложности определенных свойств решеток, которые, как предполагается, будут неразрешимыми для квантовых компьютеров. Благодаря значительным научным достижениями в последние годы, схемы на основе теории решеток уже используются на практике и являются очень жизнеспособной альтернативой теоретико-числовой криптографии. Данная работа базируется на использовании методов теории решеток. Этот выбор продиктован отсутствием решения задач нахождения кратчайшего вектора или нахождение ближайшего вектора за полиномиальное время. Основной вывод данной работы заключается в том, что основной областью будущих разработок в схемах электронно-цифровой подписи на базе теории решеток является их оптимизация и внедрение в них модели Фиата-Шамира. Например, схема Bliss показала достаточно высокую производительность и поэтому ее можно интегрировать в портативные системы и устройства.


Ключевые слова: электронно-цифровая подпись, RSA, пост-квантовая криптография, схема Bliss, криптография, Преобразование Фиат-Шамира, теория решеток, Абелева группа, Евклидово пространство, схема идентификации

УДК:

681.3.06+519.248

Abstract: The subject of the study is the scheme of digital signature, which is an important element in building secure systems used in most real-world security protocols. Reliability of existing schemes of electronic digital signature can be severely lowered in case of developments in classical cryptanalyst or progress in the development of quantum computers. A potential alternative approach is to construct the schemes based on the complexity of certain properties of the lattices, which are supposed to be intractable for quantum computers. Due to significant scientific advances in recent years, scheme based on lattice theory already used in practice and is a very viable alternative to number-theoretic cryptography. The study is based on the use of methods of lattice theory. This choice is dictated by the lack of solution of problem of finding the shortest vector or finding the nearest vector in polynomial time. The main conclusion of the paper is that the main area of future development in the schemes of the digital signature on the basis of lattice theory is their optimization and implementation of the Fiat-Shamir model in it. For example, Bliss scheme showed high performance and therefore it can be integrated into portable systems and devices.



Keywords:

digital signature, RSA, post-quantum cryptography, Bliss scheme, cryptography, Fiat-Shamir transformation, lattice theory, Abelian group, Euclidean space, identification scheme

Введение

Согласно алгоритму Шора, с наступлением эры квантовых компьютеров, их огромная вычислительная мощность может вызвать сбой многих, используемых сегодня криптографических схем. В частности, станут уязвимыми схемы, основанные на задаче дискретного логарифмирования или теоретико-числовых сложных проблемах, к которым относятся почти все схемы шифрования с открытым ключом, включая эллептическую криптографию, схемы RSA и DSA [1,2]. Соответственно, это привело к появлению пост-квантовой криптографии, которая создает алгоритмы для противостояния квантовым технологиям. Криптография на основе теории решеток является наиболее надежной и перспективной среди многих важных пост-квантовых исследований. Ее главным преимуществом по сравнению с другими является то, что она обладает расширенной функциональностью и, в то же время, более эффективна для основных примитивов шифрования с открытым ключом и схем электронно-цифровой подписи (ЭЦП). Вычислительные проблемы, которые существуют в теории решеток, такие как нахождение кратчайшего вектора (Shortest Vector Problem) или нахождение ближайшего вектора (Closest Vector Problem) считаются устойчивыми к квантово-компьютерным атакам, что говорит о вычислительной нераскрываемости. С точки зрения безопасности и практичности, такие свойства перспективны для замены нынешних асимметричных схем, которые будут подвержены атакам в пост-квантовом мире.

Базовые положения исследования

В случае n – мерного Евклидова пространства, решетка – это дискретная абелева подгруппа максимального вектора, то есть подгруппа, имеющая вид:

L = {Z v 1 + Z v 2 + · · · + Z vn },

где Z - кольцо целых чисел,

v 1,v 2 · · · vn

Ранг решетки равен n , размерность - m . Решетку называют полноранговой, если n = m .

В зависимости от сложности решетки, схемы ЭЦП, как правило, делятся на три категории, а именно схемы GGH/NTRU, хэш-знаковые подписи и подписи Фиата - Шамира.

Одними из первых схем, основанных на сложности теории решеток, а именно, на трудности поиска кратчайшего вектора решётки, были криптосистемы GGH и NTRUEncrypt. Отличие между этими схемами заключается в том, что последняя может в некоторой степени рассматриваться как частный случай первой. В 2009 году эти схемы были взломаны, благодаря работам Нгуена и Реджева [3].

Схемы ЭЦП, основанные на хэш-знаковой подписи, легли в основу в работы Диффи и Хеллмана. Идея состояла в том, чтобы захешировать сообщение перед его подписанием. Эта теория стала основой для FDH хэша, где хэш-функция H (•) генерировалась случайным образом. Однако позже было показано, что такая схема существенно незащищена от атаки с выбором сообщений.

Подписи Фиата-Шамира

Существует альтернативный способ построения ЭЦП – сначала создать определенную схему идентификации, а затем преобразовать ее в ЭЦП посредством трансформации Фиата-Шамира. Идентификация проходит между двумя сторонами, где одна сторона (доказывающая) должна убедить другую сторону (проверяющую), что она является тем, за кого себя выдает. Данную реализацию можно наблюдать на примере часто используемого доказательства с нулевым разглашением - протокола Шнорра [4]. Главным образом благодаря исследованиям Любашевского с соавторами трансформация Фиата-Шамира используется в схемах ЭЦП (схема LYU) на основе теории решеток.

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

Безопасность схемы ЭЦП зависит от сложности поиска коллизий в отдельных семействах хэш-функций. Противник, умеющий подделывать подписи может использовать это в будущем, для нахождения коллизии в хэш-функции, выбранной случайным образом из семейства H [5]. Это означает, что если ЭЦП подвержена фальсификации, то существует алгоритм, который может решить задачу нахождения кратчайшего вектора для γ = O(n2) в поле R за полиномиальное время. Следовательно, подделывание подписи и кроме того нахождение коллизии в случайно выбранной h ← H эквивалентно задаче нахождения кратчайшего вектора решетки над R, то есть краткому целочисленному решению в кольце вычетов [6].

Настоящими прорывом в схемах ЭЦП на основе решеток стала схема, предложенная Дюкасом с соавторами и названная Bliss. Основным плюсом данной схемы стало значительное улучшение на этапе выборки с отклонением. Как следствие, эта схема связала между собой теоретическую и практическую криптографию на основе теории решеток.

Чтобы проиллюстрировать важность этапа выборки с отклонением с точки зрения безопасности, рассмотрим следующую схему ЭЦП. Подписывающее лицо имеет (короткий) секретный ключ – пару чисел s 1, s 2R и открытый ключ - пару (a , t ), где aR выбирается случайным образом, а t = as 1 + s 2. Далее, подписывающее лицо случайным образом выбирает y 1, y 2R и отправляет u = ay 1+ y 2 проверяющему, который возвращает cR . Затем подписывающий вычисляет zi = yi + sic (i =1,2) и пересылает обратно z 1, z 2 на проверку равенство az 1 + z 2tc = u и является ли ||zi || достаточно малым [7].

На графиках, представленных на Рис.1 и Рис.2 показано влияние гауссовского распределения на выборку с отклонением. На Рис. 1 показана схема LYU , а на Рис. 2 – схема Bliss.

._1

Рис. 1. Схема LUY.

.2

Рис.2. Схема Bliss

Распределение z отмечено голубым цветом, определяя и множество всех y в схеме на Рис. 1. В схеме на Рис. 2 представлены все (b ,y ) с отклонением шага и разложением на Декартово произведение. Черные кривые представляют масштабированный (1/М ) алгоритм задачи распределения. Необходимо отметить, что вероятность совпадения на схеме Рис. 2 гораздо больше, чем на схеме Рис. 1.

Заключение

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

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

Библиография
1.
Коробейников А.Г., Воробьев А. О., Сидоркина И. Г., Пылин В. В. Анализ криптографической стойкости алгоритмов асимметричного шифрования информации//Изв.ВУЗОВ. Приборостроение. 2007. Т. 50. № 8., стр. 28-32.
2.
Коробейников А.Г., Кутузов И.М. Алгоритм обфускации// NB: Кибернетика и программирование. — 2013.-№ 3.-С.1-8. DOI: 0.7256/2306-4196.2013.3.9356. URL: http://e-notabene.ru/kp/article_9356.html
3.
Thomas Poppelmann and Tim Guneysu. Towards Efficient Arithmetic for Lattice-Based Cryptography on Reconfigurable Hardware//LATINCRYPT. – 2012. – Р. 139–158.
4.
Ozgur Dagdelen, Marc Fischlin, Tommaso Gagliardoni. The Fiat-Shamir Transformation in a Quantum World // ASIACRYPT.-2013.-№2.-Р. 62–81.
5.
Vadim Lyubashevsky. Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures // ASIACRYPT.-2009. – Р. 598–616.
6.
Vadim Lyubashevsky. Lattice Signatures without Trapdoors // EUROCRYPT.-2012. – Р. 738–755.
7.
Leo Ducas and Daniele Micciancio. Improved Short Lattice Signatures in the Standard Model // CRYPTO.-2014. – Р. 335–352
References (transliterated)
1.
Korobeinikov A.G., Vorob'ev A. O., Sidorkina I. G., Pylin V. V. Analiz kriptograficheskoi stoikosti algoritmov asimmetrichnogo shifrovaniya informatsii//Izv.VUZOV. Priborostroenie. 2007. T. 50. № 8., str. 28-32.
2.
Korobeinikov A.G., Kutuzov I.M. Algoritm obfuskatsii// NB: Kibernetika i programmirovanie. — 2013.-№ 3.-S.1-8. DOI: 0.7256/2306-4196.2013.3.9356. URL: http://e-notabene.ru/kp/article_9356.html
3.
Thomas Poppelmann and Tim Guneysu. Towards Efficient Arithmetic for Lattice-Based Cryptography on Reconfigurable Hardware//LATINCRYPT. – 2012. – R. 139–158.
4.
Ozgur Dagdelen, Marc Fischlin, Tommaso Gagliardoni. The Fiat-Shamir Transformation in a Quantum World // ASIACRYPT.-2013.-№2.-R. 62–81.
5.
Vadim Lyubashevsky. Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures // ASIACRYPT.-2009. – R. 598–616.
6.
Vadim Lyubashevsky. Lattice Signatures without Trapdoors // EUROCRYPT.-2012. – R. 738–755.
7.
Leo Ducas and Daniele Micciancio. Improved Short Lattice Signatures in the Standard Model // CRYPTO.-2014. – R. 335–352
Ссылка на эту статью

Просто выделите и скопируйте ссылку на эту статью в буфер обмена. Вы можете также попробовать найти похожие статьи


Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.
Сайт исторического журнала "History Illustrated"