М.: МИФИ, 1997. —
Описаны основные криптографические проблемы защиты банковской информации. Наиболее сложные вопросы освещаются по нескольку раз: сначала на популярном, общеметодологическом уровне, потом на уровне специалиста широкого профиля, потом на уровне специалиста с серьезной математической подготовкой.
Предназначены для студентов факультетов "К" и " Б" МИФИ, а также для слушателей курсов повышения квалификации по специальности "Телекоммуникационные системы и их средства защиты".СодержаниеОсновные понятия современной криптографии
Популярный очерк
Углубленные комментарии
Формальные модели атак и угроз
Три задачи криптографии
Особенности применения криптографии в банковском деле
Характеристика платежной системы России
Угрозы безопасности информации в платежной системе
Проблемы криптографической защиты платежной системы
Критерии и требования к криптографическим средствам защиты банковской информации
Новые направления, стимулируемые банковскими приложениями
Криптографические средства защиты банковской информации
Протоколы аутентификации
Введение
Протоколы с центром доверия
Схема аутентификации Фиата и Шамира
Схема аутентификации Файге, Фиата и Шамира
Схема аутентификации Шнорра
Схема аутентификации Брикелла и МакКарли
Протоколы, основанные на идентификационной информации
Схема аутентификации Фиата и Шамира
Протоколы электронной подписи
Хэш-функции
Протоколы распределения криптографических ключей
Протоколы с аппаратной поддержкой
Новые направления
Банковские криптографические протоколы
Интеллектуальные карточки в банковских системах
Активная атака на протокол RSA-S1
Ускорение операций в схемах подписи типа DSS
Введение в теоретико-числовую и сложностную проблематику
Задача дискретного логарифмирования
Введение
Постановка задачи
Логарифмирование в GF(q)*
Алгоритм Гельфонда
Алгоритм Полига - Хеллмана
Логарифмирование в полях простого порядка
Алгоритм Хеллмана - Рейнери
Алгоритм Копперсмита
Логарифмирование в Z_n*
Рекомендуемая литература
Задача факторизации больших целых чисел
Введение
Факторизация чисел с экспоненциальной сложностью
Алгоритм Шермана - Лемана
Метод Полларда
Метод Полларда - Штрассена
Другие методы
Факторизация чисел с субэкспоненциальной сложностью
Алгоритм Диксона
Методы ускорения алгоритма Диксона
Алгоритм Бриллхарта - Моррисона
Метод квадратичного решета
Другие методы
Метод решета числового поля
Методы построения больших простых чисел
Вероятностные тесты на простоту
Простые числа специального вида
Построение больших простых чисел n с использованием полного разложения n-1 на простые множители
Построение больших простых чисел n с использованием частичного разложения n-1 на множители
Полиномиальные алгоритмы доказательства простоты n с помощью известного полного разложения n-1 на простые множители
Анализ алгоритма построения больших простых чисел, изложенного в Стандарте (ГОСТ Р 34.10-94) "Процедуры выработки и проверки электронной цифровой подписи на базе асимметричного криптографического алгоритма"
Общетеоретические обоснования
Алгоритм
Всегда ли результатом работы Алгоритма являются простые числа?
Распознает ли Алгоритм все простые числа?
Отсеивание составных чисел
Замечания
Алгоритм построения простых чисел
Односторонние функции и псевдослучайные генераторы
Односторонние функции Модели вычислений
Односторонние функции в теории сложности
Криптографические односторонние функции
Гипотеза о существовании односторонних функций
Функции с секретом
Псевдослучайные генераторы
Основные понятия теории доказательств с нулевым разглашением
Интерактивные системы доказательства
Интерактивные системы доказательства с нулевым разглашением
Литература
Предметный указатель
