Криптографические методы и средства ЗИ
  • формат pdf
  • размер 5,28 МБ
  • добавлен 31 августа 2013 г.
Молдовян Н.А. Теоретический минимум и алгоритмы цифровой подписи
Учебное пособие — СПб. БХВ-Петербург, 2010. — 304 с.: ил. — ISBN 978-5-9775-0585-7 Сканированный файл, есть OCR-слой.
Подробно рассмотрен минимальный математический аппарат, используемый при изучении криптосистем с открытым ключом, синтезе и анализе алгоритмов электронной цифровой подписи и коммутативного шифрования, протоколов открытого распределения ключей и открытого шифрования. Приводятся классические и новые криптосхемы с открытым ключом, их применение в информационных технологиях. Описываются стандарты ЭЦП, протоколы слепой и коллективной подписи. Рассмотрены различные способы задания конечных алгебраических структур, в том числе и некоммутативных, для синтеза алгоритмов ЭЦП и повышения их производительности. Отражены вопросы патентования криптоалгоритмов.
Для аспирантов, студентов и преподавателей высших учебных заведений.
Содержание
Введение.
Элементы теории чисел.
Некоторые определения и утверждения.
О существовании обратного элемента. О делимости остатка. Теорема Ферма.
Функция Эйлера.
Обобщенная теорема Эйлера.
Алгоритм Евклида.
Расширенный алгоритм Евклида.
Показатели и первообразные корни.
Первообразные корни. Индексы по модулям рα и 2рα .
Теоремы о числе классов с заданным показателем.
Китайская теорема об остатках.
Теоремы о числе решений степенных сравнений.
Алгоритмы двухключевой криптографии.
Генерация простых чисел.
Детерминистическая генерация больших простых чисел.
Способ на основе подбора разложения функции Эйлера. Способ по стандарту ГОСТ Р 34.10-
94.

Извлечение корней по модулю.
Вычисление квадратных корней. Извлечение корней степени п 2 по простому модулю. Случай модуля, равного степени простого числа.
Трудный случай извлечения корней по простому модулю.
Модуль со специальной структурой. Вычисление корня большой простой степени. Сведение трудных случаев извлечения корней к задаче дискретного логарифмирования.
Алгоритмы факторизации.
Факторизация В-гладкого модуля RSA. Факторизация модуля RSA с использованием метода Флойда.
Методы дискретного логарифмирования.
Оптимизация переборного метода. Метод вычисления индексов. Метод Полларда. Случай составного порядка. Специальный случай дискретного логарифмирования по составному модулю.
Алгоритм возведения в степень по модулю.
Выполнение модульного умножения по Монтгомери.
Нахождение чисел заданного порядка.
Нахождение первообразных корней. Нахождение чисел простого порядка. Нахождение чисел, относящихся к заданному составному показателю.
Краткий обзор классических криптосистем с открытым ключом.
Открытое распределение ключей.
Система Диффи — Хеллмана. Распределение ключей в системе RSA.
Криптосистема RSA.
Криптографические преобразования в RSA. Вопросы выбора параметров системы RSA.
Протокол бесключевого шифрования.
Коммутативные механизмы шифрования. Применение в электронной игре в покер.
Открытое шифрование.
Способ Эль—Гамаля. Способ Рабина.
Схемы ЭЦП на основе сложности дискретного логарифмирования.
Схема Эль—Гамаля. Схема Эль—Гамаля с сокращенной длиной параметра S. Схема Эль—Гамаля с сокращенной длиной параметров S и R. Американский стандарт DSA. Российский стандарт ГОСТ Р 34.10-94 Схема Онга — Шнорра — Шамира. ЭЦП Шнорра.
Доказуемо стойкие криптосистемы.
Класс доказуемо стойких криптосистем. Минимизация числа расшифрованных текстов.
Слепая подпись.
Слепая подпись на основе ЭЦП Шнорра. Слепая подпись Чаума.
Схемы ЭЦП с восстановлением сообщения.
Схема RSA. Схемы на основе сложности дискретного логарифмирования. ЭЦП Рабина.
Экзистенциальная подделка подписи и потайные каналы в системах ЭЦП.
Схемы ЭЦП с новым механизмом формирования подписи.
Схемы с формированием подписи на основе решения системы сравнений.
Схемы с подписью вида (k,S).
Схемы с RSA-модулем.
Применение простого модуля в схемах, основанных на сложности факторизации.
Схемы с восстановлением сообщения.
Новые схемы ЭЦП с сокращенной длиной подписи.
Подход к уменьшению размера подписи.
Схемы подписи на основе сложности извлечения корней в группах известного порядка.
Схема подписи с двухэлементным секретным ключом. Схема подписи с двухэлементным открытым ключом. Схема подписи с двухэлементным секретным ключом.
Алгоритмы электронной цифровой подписи на основе конечных векторных пространств.
Конечные группы и поля над векторными пространствами как примитив алгоритмов ЭЦП.
Правила умножения базисных векторов.
Таблицы умножения базисных векторов для случаев т = 6, 8, 10
Таблицы умножения базисных векторов для случаев т = 7 и т = 11
Формирование векторных полей GF(p3).
Поля многомерных векторов.
Синтез алгоритмов ЭЦП.
Выбор конечного кольца векторов и синтез алгоритмов ЭЦП.
Алгоритмы на основе сложности вычисления корней в конечных группах векторов.
Оценка сложности задачи извлечения корней.
Гомоморфизмы групп двухмерных векторов и синтез алгоритмов ЭЦП.
Первый вариант задания умножения векторов. Второй вариант задания умножения векторов. Задача дискретного логарифмирования в конечном кольце двухмерных векторов. К вопросу построения схем ЭЦП на основе сложности задачи нахождения двухмерного логарифма в группе двухмерных векторов.
Группы четырехмерных векторов частного вида.
Построение нециклических конечных групп четырехмерных векторов. Оценка сложности задачи извлечения корней в группах четырехмерных векторов. Алгоритм электронной цифровой подписи.
Строение конечных коммутативных групп векторов.
Строение примарных подгрупп.
Алгоритмы ЭЦП на основе эллиптических кривых.
ЭК над конечными полями характеристики р ≠ 2, 3 ЭК над конечными полями характеристик р = 2 и р = 3 Алгоритм ЭЦП по стандарту ГОСТ Р 34.10-2001
Алгоритмы эллиптической криптографии над векторными полями.
Протоколы формирования коллективной ЭЦП.
Коллективная ЭЦП.
Алгоритм ЭЦП на основе сложности задачи извлечения корней по модулю. Протокол коллективной подписи.
Коллективная подпись на основе задачи дискретного логарифмирования.
Коллективная подпись на основе эллиптических кривых.
Композиционная ЭЦП.
Композиционная подпись на основе вычислений в мультипликативных группах. Композиционная подпись на основе эллиптических кривых. Применение композиционной и коллективной подписи.
Коллективная подпись на основе стандартов ЭЦП.
Реализация на основе алгоритма ГОСТ Р 34.10-94 Коллективная ЭЦП на основе стандарта Беларуси СТБ.
Специальные протоколы слепой подписи.
Слепая коллективная подпись. Слепая подпись, взлом которой требует одновременного решения двух трудных задач.
Протоколы слепой подписи на основе стандартов ЭЦП.
Схема слепой подписи на основе ГОСТ Р 34.10-94 Протокол слепой коллективной подписи на основе ГОСТ Р 34.10-94 Схема слепой подписи на основе ГОСТ Р 34.10-2001 Протокол слепой коллективной ЭЦП на основе ГОСТ Р 34.10-2001 Протокол слепой подписи на основе стандарта СТБ 1176.2-99 Слепая коллективная ЭЦП на основе стандарта СТБ 1176.2-99
Коллективная ЭЦП на основе сложности задачи факторизации.
Использование алгоритма RSA. Коллективная ЭЦП на основе алгоритма Рабина.
Некоммутативные группы как криптографический примитив.
Новая трудная задача для синтеза криптосистем с открытым ключом.
Схема открытого согласования ключа и алгоритм открытого шифрования.
Алгоритм коммутативного шифрования.
Конечные некоммутативные группы над четырехмерными векторными пространствами.
Конечные некоммутативные группы векторов четных размерностей.
Гомоморфизм конечных некоммутативных групп векторов и синтез криптосхем.
Конечные группы матриц как примитив алгоритмов ЭЦП.
Оценки относительной сложности операции матричного умножения. Использование конечных групп матриц над многочленами. Реализация алгоритмов электронной цифровой подписи. Использование конечных групп матриц над векторными полями.
Как запатентовать алгоритм ЭЦП.
Общие вопросы патентования.
Стратегия и тактика патентования.
Порядок подачи патентной заявки.
Пример формулы изобретения.
Пример описания изобретения.
Заключение.
Список литературы.
Список рекомендуемой дополнительной литературы.
Статьи, использованные при написании пособия.
Патенты РФ на способы формирования и проверки ЭЦП.
© Молдовян Н. А., 2010
© Оформление, издательство "БХВ-Петербург", 2010