НИС Методы и алгоритмы защиты информации 2022/2023 — различия между версиями
Ilia (обсуждение | вклад) (Новая страница: «== О семинаре == Цель семинара – познакомить участников с основными понятиями, методами и…») |
Ilia (обсуждение | вклад) (→Криптография) |
||
Строка 25: | Строка 25: | ||
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
− | ! № !! Тема доклада !! Литература | + | ! № !! Тема доклада !! Литература !! Докладчик |
|- | |- | ||
| 1 | | 1 | ||
|| Простейшие криптосистемы. Сдвиг и аффинное преобразование. Частотный анализ. Биграммы. Ключ шифрования и ключ дешифрования. Классические криптосистемы и системы с открытым ключом | || Простейшие криптосистемы. Сдвиг и аффинное преобразование. Частотный анализ. Биграммы. Ключ шифрования и ключ дешифрования. Классические криптосистемы и системы с открытым ключом | ||
|| К, Гл. III, пар. 1 и Гл. IV, пар. 1 | || К, Гл. III, пар. 1 и Гл. IV, пар. 1 | ||
+ | || Гудошникова Юлия | ||
|- | |- | ||
Строка 35: | Строка 36: | ||
|| Необходимые факты из теории чисел: обратимость вычета по данному модулю, алгоритм нахождения обратного элемента, малая теорема Ферма, функция Эйлера и теорема Эйлера, китайская теорема об остатках, методы быстрого возведения в степень | || Необходимые факты из теории чисел: обратимость вычета по данному модулю, алгоритм нахождения обратного элемента, малая теорема Ферма, функция Эйлера и теорема Эйлера, китайская теорема об остатках, методы быстрого возведения в степень | ||
|| K, Гл. I | || K, Гл. I | ||
+ | || Галкина Таисия | ||
|- | |- | ||
Строка 40: | Строка 42: | ||
|| Квадратичные вычеты и закон взаимности | || Квадратичные вычеты и закон взаимности | ||
|| K, Гл. II, пар. 2 | || K, Гл. II, пар. 2 | ||
+ | || Порфирьев Антон | ||
|- | |- | ||
Строка 45: | Строка 48: | ||
|| Необходимые сведения из алгебры: группы и подгруппы, примеры конечных групп, порядок элемента, циклические группы и их порождающие | || Необходимые сведения из алгебры: группы и подгруппы, примеры конечных групп, порядок элемента, циклические группы и их порождающие | ||
|| [любой нравящийся вам учебник по алгебре] | || [любой нравящийся вам учебник по алгебре] | ||
+ | || Степашкина Виталия | ||
|- | |- | ||
Строка 50: | Строка 54: | ||
|| Строение конечных полей | || Строение конечных полей | ||
|| ЛН | || ЛН | ||
+ | || Цейтин Андрей | ||
|- | |- | ||
Строка 55: | Строка 60: | ||
|| Задача дискретного логарифмирования и основанные на ней криптосистемы: система Диффи-Хеллмана обмена ключами, системы Мэсси-Омура и Эль-Гамаля | || Задача дискретного логарифмирования и основанные на ней криптосистемы: система Диффи-Хеллмана обмена ключами, системы Мэсси-Омура и Эль-Гамаля | ||
|| [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | || [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | ||
+ | || Волотова Анастасия | ||
|- | |- | ||
Строка 60: | Строка 66: | ||
|| Алгоритмы решения задачи дискретного логарифмирования | || Алгоритмы решения задачи дискретного логарифмирования | ||
|| K, Гл. IV, пар. 3 | || K, Гл. IV, пар. 3 | ||
+ | || Шатравка Даниил | ||
|- | |- | ||
Строка 65: | Строка 72: | ||
|| Криптосистема RSA | || Криптосистема RSA | ||
|| [K, Гл. IV, пар. 2], [П, 1.2] | || [K, Гл. IV, пар. 2], [П, 1.2] | ||
+ | || Вахитова Диана | ||
|- | |- | ||
Строка 70: | Строка 78: | ||
|| Понятие электронной подписи. Электронная подпись в RSA и по Эль-Гамалю | || Понятие электронной подписи. Электронная подпись в RSA и по Эль-Гамалю | ||
|| [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | || [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | ||
+ | || Григорьева Василиса | ||
|- | |- | ||
Строка 75: | Строка 84: | ||
|| Проверка чисел на простоту и задача факторизации. Решето Эратосфена. Псевдопростые числа и числа Кармайкла. Метод Поклингтона. (p-1)-метод Полларда | || Проверка чисел на простоту и задача факторизации. Решето Эратосфена. Псевдопростые числа и числа Кармайкла. Метод Поклингтона. (p-1)-метод Полларда | ||
|| [K, Гл. V], [П, 2.4], [В, Гл. 1-2] | || [K, Гл. V], [П, 2.4], [В, Гл. 1-2] | ||
+ | || Мельников Игорь | ||
|- | |- | ||
Строка 80: | Строка 90: | ||
|| Задача о рюкзаке как задача комбинаторной оптимизации. Быстрорастущие наборы. Рюкзачная криптосистема | || Задача о рюкзаке как задача комбинаторной оптимизации. Быстрорастущие наборы. Рюкзачная криптосистема | ||
|| K, Гл. IV, пар. 4 | || K, Гл. IV, пар. 4 | ||
+ | || Мовшин Максим | ||
|- | |- | ||
Строка 85: | Строка 96: | ||
|| Протоколы с нулевым разглашением. Три примера: раскраска карты в три цвета, поиск гамильтонова пути и извлечение корня в кольце вычетов | || Протоколы с нулевым разглашением. Три примера: раскраска карты в три цвета, поиск гамильтонова пути и извлечение корня в кольце вычетов | ||
|| K, Гл. IV, пар. 5 | || K, Гл. IV, пар. 5 | ||
+ | || Лаптева Анна | ||
|- | |- | ||
Строка 90: | Строка 102: | ||
|| Математика разделенного секрета. Пороговые (n,k)-схемы доступа. Схема Шамира и схема Блэкли. | || Математика разделенного секрета. Пороговые (n,k)-схемы доступа. Схема Шамира и схема Блэкли. | ||
|| Я, Гл. 5 | || Я, Гл. 5 | ||
+ | || Новикова Юлия | ||
|- | |- | ||
Строка 95: | Строка 108: | ||
|| Разделение секрета и теория матроидов | || Разделение секрета и теория матроидов | ||
|| Я, Гл. 5 | || Я, Гл. 5 | ||
+ | || Кислов Максим | ||
|- | |- | ||
Строка 100: | Строка 114: | ||
|| Математика эллиптических кривых: групповой закон, формулы сложения и удвоения точек, теорема Хассе о числе точек на эллиптической кривой | || Математика эллиптических кривых: групповой закон, формулы сложения и удвоения точек, теорема Хассе о числе точек на эллиптической кривой | ||
|| [K, Гл. VI, пар. 1], [П, гл. 4] | || [K, Гл. VI, пар. 1], [П, гл. 4] | ||
+ | || Хворостяной Валерий | ||
|- | |- | ||
Строка 105: | Строка 120: | ||
|| Нахождение точки на эллиптической кривой. Задача дискретного логарифмирования. Криптосистемы на эллиптических кривых: аналоги систем Диффи-Хеллмана и Эль-Гамаля | || Нахождение точки на эллиптической кривой. Задача дискретного логарифмирования. Криптосистемы на эллиптических кривых: аналоги систем Диффи-Хеллмана и Эль-Гамаля | ||
|| K, Гл. VI, пар. 2 | || K, Гл. VI, пар. 2 | ||
+ | || Нечесов Андрей | ||
|- | |- | ||
Строка 110: | Строка 126: | ||
|| Проверка чисел на простоту и разложение на множители при помощи эллиптических кривых. Аналог метода Поклингтона и метод Ленстры | || Проверка чисел на простоту и разложение на множители при помощи эллиптических кривых. Аналог метода Поклингтона и метод Ленстры | ||
|| [K, Гл. VI, пар. 3-4], [В, Гл. 4] | || [K, Гл. VI, пар. 3-4], [В, Гл. 4] | ||
+ | || Сайфутдинов Рафаэль | ||
|- | |- | ||
|} | |} |
Версия 11:21, 14 сентября 2022
Содержание
О семинаре
Цель семинара – познакомить участников с основными понятиями, методами и алгоритмами криптографии и теории кодирования. Параллельно мы обсуждаем необходимые сведения из алгебры, теории чисел и дискретной математики. Семинар проходит в форме докладов участников с их последующим обсуждением. Участие в семинаре позволит освоить современные методы защиты и передачи информации. Также будут даны многочисленные примеры практического использования материала, излагаемого в базовых математических курсах.
Семинар проводится для студентов 2 курса в 1-3 модулях.
Преподаватель
Аржанцев Иван Владимирович, arjantsev@hse.ru
Учебные ассистенты
Коннов Илья. t.me/iliago, vk.com/iliago, iakonnov@edu.hse.ru
Полезные ссылки
Классрум для сдачи домашних заданий
План семинара
Криптография
№ | Тема доклада | Литература | Докладчик |
---|---|---|---|
1 | Простейшие криптосистемы. Сдвиг и аффинное преобразование. Частотный анализ. Биграммы. Ключ шифрования и ключ дешифрования. Классические криптосистемы и системы с открытым ключом | К, Гл. III, пар. 1 и Гл. IV, пар. 1 | Гудошникова Юлия |
2 | Необходимые факты из теории чисел: обратимость вычета по данному модулю, алгоритм нахождения обратного элемента, малая теорема Ферма, функция Эйлера и теорема Эйлера, китайская теорема об остатках, методы быстрого возведения в степень | K, Гл. I | Галкина Таисия |
3 | Квадратичные вычеты и закон взаимности | K, Гл. II, пар. 2 | Порфирьев Антон |
4 | Необходимые сведения из алгебры: группы и подгруппы, примеры конечных групп, порядок элемента, циклические группы и их порождающие | [любой нравящийся вам учебник по алгебре] | Степашкина Виталия |
5 | Строение конечных полей | ЛН | Цейтин Андрей |
6 | Задача дискретного логарифмирования и основанные на ней криптосистемы: система Диффи-Хеллмана обмена ключами, системы Мэсси-Омура и Эль-Гамаля | [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | Волотова Анастасия |
7 | Алгоритмы решения задачи дискретного логарифмирования | K, Гл. IV, пар. 3 | Шатравка Даниил |
8 | Криптосистема RSA | [K, Гл. IV, пар. 2], [П, 1.2] | Вахитова Диана |
9 | Понятие электронной подписи. Электронная подпись в RSA и по Эль-Гамалю | [K, Гл. IV, пар. 1, 3], [П, 1.3], [В,Гл. 5] | Григорьева Василиса |
10 | Проверка чисел на простоту и задача факторизации. Решето Эратосфена. Псевдопростые числа и числа Кармайкла. Метод Поклингтона. (p-1)-метод Полларда | [K, Гл. V], [П, 2.4], [В, Гл. 1-2] | Мельников Игорь |
11 | Задача о рюкзаке как задача комбинаторной оптимизации. Быстрорастущие наборы. Рюкзачная криптосистема | K, Гл. IV, пар. 4 | Мовшин Максим |
12 | Протоколы с нулевым разглашением. Три примера: раскраска карты в три цвета, поиск гамильтонова пути и извлечение корня в кольце вычетов | K, Гл. IV, пар. 5 | Лаптева Анна |
13 | Математика разделенного секрета. Пороговые (n,k)-схемы доступа. Схема Шамира и схема Блэкли. | Я, Гл. 5 | Новикова Юлия |
14 | Разделение секрета и теория матроидов | Я, Гл. 5 | Кислов Максим |
15 | Математика эллиптических кривых: групповой закон, формулы сложения и удвоения точек, теорема Хассе о числе точек на эллиптической кривой | [K, Гл. VI, пар. 1], [П, гл. 4] | Хворостяной Валерий |
16 | Нахождение точки на эллиптической кривой. Задача дискретного логарифмирования. Криптосистемы на эллиптических кривых: аналоги систем Диффи-Хеллмана и Эль-Гамаля | K, Гл. VI, пар. 2 | Нечесов Андрей |
17 | Проверка чисел на простоту и разложение на множители при помощи эллиптических кривых. Аналог метода Поклингтона и метод Ленстры | [K, Гл. VI, пар. 3-4], [В, Гл. 4] | Сайфутдинов Рафаэль |
Литература
[В] О.Н.Василенко. Теоретико-числовые алгоритмы в криптографии. М.: МЦНМО, 2003, 325 стр.
[К] Н.Коблиц. Курс теории чисел и криптографии. М.: ТВП, 2001, 254 стр.
[ЛН] Р.Лидл и Г.Нидеррайтер. Конечные поля. М.: Мир, 1988
[П] Ю.Г.Прохоров. Эллиптические кривые и криптография. Семестр 1. М.: МГУ, 2007. 143 стр.
[Я] Введение в криптографию. Под редакцией В.В.Ященко. М.: МЦНМО, 2012, 352 стр.