- •Основы информационной безопасности и введение в современную криптологию
- •8 Глава 129
- •Предисловие
- •Введение
- •Формальная криптография;
- •Математическая криптография;
- •1. Криптографические системы «докомпьютерной эры» и проблемы современной криптографии
- •1.1 Криптография древнего мира. Шифр Цезаря и его криптостойкость
- •1.2 Шифр Атбаш и его модификации
- •1.3 Тарабарская грамота как аналог шифра Атбаш
- •1.4 Шифр Плейфера
- •1.5 Шифр adfgvx
- •1.6 Шифр Виженера
- •1.7 Формальная криптография
- •1.8 Математическая криптография
- •1.9 Современная компьютерная криптография и ее основные проблемы
- •2 Режимы шифрования для симметричных алгоритмов.
- •2.1 Режимы простой замены (электронная кодовая книга ecb)
- •2.2 Режим сцепления блоков (Cipher Block Chaining (cbc))
- •2.2 Режимы гаммирования
- •2.3 Режим гаммирования с обратной связью
- •Функции шифрования симметричных криптосистем
- •3.1 Стандарт шифрования данных des. Data Encryption Standard
- •3.2 Преобразования Сетью Фейстеля
- •3.3 Режимы работы алгоритма des
- •3.4.1Алгоритм гост – 28147-89
- •3.4.2Ключи в кзу
- •3.4.3В блоке подстановки k
- •3.5.1Описание алгоритма
- •4.Глава
- •4.1Хэш - функция
- •4.2Коллизия
- •4.4Пример простого хеширования
- •4.3Современные виды хеширования
- •5.Глава Элементы алгебры и теории чисел
- •5.1Быстрое возведение в степень.
- •5.2Нахождение простого числа
- •5.3Метод Шермана — Лемана
- •5.3Метод Раббина-Миллера
- •5.4Нахождение обратного элемента по модулю
- •5.5Теорема ферма, Эйлера
- •5.6Алгоритм Эвклида
- •5.7Расширенный алгоритм Эвклида
- •5.8 Китайская теорема об остатках
- •5.11 Нахождение с помощью расширенного алгоритма Евклида
- •5.11Квадратичные вычеты
- •5.11Нахождение генераторов
- •6. Глава
- •6.1 Алгоритм Диффи – Хеллмана
- •6.2Описание алгоритма
- •6.3Алгоритм Диффи — Хеллмана с тремя и более участниками
- •6.7Криптографическая стойкость
- •6.8Rsa алгоритм
- •6.10Алгоритм шифрования rsa
- •6.11Алгоритм подписи rsa
- •7.16Эль-Гамаля
- •6.13История dsa
- •6.14Алгоритм цифровой подписи dsa
- •6.15 Алгоритм цифровой подписи гост р 3410-94
- •7.1Эллиптическая кривая
- •7.2 Эллиптические кривые в криптографии
- •7.3 Метрика операций на эк
- •7.3.1Сложение различных точек
- •7.3.2Удвоение
- •7.7Порядок эллиптической кривой
- •7.6Теорема Хассе
- •7.5 Порядок точки на эллиптической кривой
- •7.8Порядок точки на эллиптической кривой (Теория, можешь не читат)
- •7.9Криптография на эллиптических кривых
- •7.10Пример эллиптической кривой над конечным полем.
- •7.11Кратные точки.
- •7.12Безопасность криптографии с использованием эллиптических кривых.
- •7.13Алгоритм Диффи-Хелмана на эллиптической кривой
- •7.14Алгоритм dsa на эллиптической кривой
- •7.14.1Алгоритм эцп на основе эллиптических кривых (ecdsa)
- •7.15Алгоритм Эль-Гамала на эллиптической кривой
- •Литература
- •8 Глава
- •8.1Криптоанализ
- •8.2Классический криптоанализ.
- •8.3 Современный криптоанализ
- •8.4Универсальные методы криптоанализа.
- •8.4.1Метод полного перебора
- •8.4.2Атака по ключам
- •8.4.3Частотный анализ
- •8.4.4Метод "встречи посередине"
- •8.4.5Криптоанализ симметричных шифров
- •8.4.6Дифференциальный криптоанализ
- •8.4.7Дифференциальный анализ на основе сбоев.
- •8.4.8Дифференциальный метод криптоанализа des.
- •8.4.9Линейный криптоанализ .
- •8.4.10Криптоанализ асимметричных шифров
- •8.4.11Метод безключевого чтения rsa.
- •8.4.12Криптоанализ хеш-функций
- •8.4.13Криптоанализ по побочным каналам
- •8.5Нанотехнологии в криптоанализе
5.3Метод Шермана — Лемана
Метод
Лемана
развивает идеи,
заложенные в
алгоритме
Ферма
и
ищет делители числа
,
используя равенство
для
некоторого целого числа
b.
Он основан на следующей теореме.
Теорема:
Пусть
составное
число, являющееся произведением двух
нечетных
взаимно
простых чисел,
удовлетворяющих неравенствам
.
. Тогда, найдутся натуральные числа
и
такие,
что
Выполнено равенство при
,
2.
Выполнено неравенство
Алгоритм
Пусть n нечетно и n > 8.
Шаг
1.
Для
проверить
условие
.
Если на этом шаге мы не разложили
n
на
множители, то переходим к шагу 2.
Шаг
2.
Если
на шаге
делитель
не
найден и
n
—
составное,
то
где
— простые
числа,
и
.
. Тогда для всех
и
всех
проверить,
является ли
число
2
-
квадратом натурального числа. Если
является, то
для
и
выполнено
сравнение
.
В
этом случае проверить условие
Если это условие выполнено, то мы
разложили
n
на
два множителя и алгоритм останавливается.
Если алгоритм не нашел разложение
n
на
два множителя, то
n
— простое число.
Пример:
Пусть a=3 P=101 – простое число;
mod101
mod101
mod101
)
25
mod
101
(
12
mod
101
9mod
101
) 6 mod 101 9 mod 101
) 3 mod101 9 mod 101
) mod101 16 9mod101
54 16 9=100
Ответ: 100
5.3Метод Раббина-Миллера
5.4Нахождение обратного элемента по модулю
Что
такое обратный элемент? Обратное значение
для числа 4,
это 1/4,
потому что
.
В мире вычетов, все немного по-другому.
Скажем, обратный элемент для числа 4 по
модулю 7, это такое число, при котором
выполняется равенство
Это уравнение эквивалентно обнаружению x и k, таких что
где x и k – целые числа. Общая задача состоит в нахождении x, такого что
Это так же можно записать как
Так же не для всех чисел, в мире вычетов находится обратный элемент. Обратный элемент для уравнения существует, если a и n взаимно просты. Функция Эйлера может быть использована для вычисления обратного по умножению элемента по модулю n, а именно
,
если
(a,
n)
= 1.
Это формула следует из теоремы Эйлера.
Обратным к числу a по модулю m называется такое число b , что:
Пример (Вычисление обратного элемента)
Найдем 5-1 mod 7, то есть такое число х, что
5 х ≡1(mod 7).
Очевидно
не
имеют общих делителей кроме единицы,
, при
этом число
простое
и
поэтому удобно воспользоваться формулой, приведенной выше:
56-1 mod 7 = 55 mod 7 = 25 25 5 mod 7 = (-3) (-3) 5 mod 7 = 9 5 mod 7 =
2 5 mod 7 = 3
Легко проверить, что в самом деле 5 3 ≡ 1 (mod 7).
5.5Теорема ферма, Эйлера
Теоремы Эйлера и Ферма являются основой всей теории сравнений и находят широкое применение, как в теоретических исследованиях, так и в арифметических приложениях.
Теорема
Эйлера. Если
,
то
.
Доказательство.
Рассмотрим,
наименьших из неотрицательных
по модулю
(она единственна):
,
.
Так
как
,
то числа
также образуют по модулю
.Заменим
числа системы остатками от деления их
на
,
получим наименьших неотрицательных
по модулю
,
которая
совпадет
с системой,
с
точностью дол порядка следования чисел:
,
(3). Причем
,
перемножим эти сравнения, получим
.
Поскольку системы и равны, то сократив
на них обе части полученного сравнения
по свойствам сравнимости, получаем
утверждение теоремы.
Теорема
(малая) Ферма.
Если
- простое число, то
.
Доказательство.
.
Если
,
то по теореме Эйлера следует, что
,
то есть
.
Если
,
то
,
то есть
.
Пример 1.Найти остаток от деления числа 328 на 7.
Решение.
Так как
,
то
Остаток равен 4.
Пример 2. Найти остаток от деления 243132 на 43.
Решение.
Имеем
.
Так как
,
то согласно теореме Эйлера:
или
.
Тогда,
Остаток равен 13.
