• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2022/2023

Односторонние функции и их применения

Лучший по критерию «Полезность курса для расширения кругозора и разностороннего развития»
Лучший по критерию «Новизна полученных знаний»
Направление: 01.03.02. Прикладная математика и информатика
Когда читается: 4-й курс, 1, 2 модуль
Формат изучения: без онлайн-курса
Охват аудитории: для своего кампуса
Преподаватели: Верещагин Николай Константинович, Милованов Алексей Сергеевич
Язык: русский
Кредиты: 5
Контактные часы: 60

Программа дисциплины

Аннотация

Функция f, отображающая слова в слова, называется односторонней, если по x можно найти f(x) за полиномиальное от длины x время, однако в обратную сторону, 
по f(x) найти x или какой-то другой прообраз f(x) за полиномиальное время можно только на ничтожной доле входов. В спецкурсе будут доказаны основные факты об односторонних функциях. Односторонние функции применяются в криптографии для построения доказуемо надежных генераторов псевдослучайных чисел, 
схем шифрования с открытым и закрытым ключом, протоколов привязки, протоколов бросания монетки по телефону и протоколов идентификации.
 Необходимы предварительные знания: знакомство с основными вычислительными 
моделями: машинами Тьюринга, вероятностными машинами Тьюринга 
и схемами из функциональных элементов.
Цель освоения дисциплины

Цель освоения дисциплины

  • Изучение основных свойств односторонних функций.
  • Изучить теоретические основы криптографии с открытым и закрытым ключом.
  • Изучение криптографически стойких генераторов псевдослучайных чисел.
  • Изучение криптографических основ задачи ауентификации.
Планируемые результаты обучения

Планируемые результаты обучения

  • Умение решать задачи на тему "односторонние функции"
  • Умение решать задачи на тему "Трудный бит"
  • Знание основных криптографических протоколов (ауентификация, цифровая подпись, шифрование).
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Слабо и сильно необратимые функции для равномерного и неравномерного противника. Односторонние функции.
 Если P=NP, то односторонних функций нет.
 Функция Mult. 
Функция SubsetSum
  • Преобразование слабо необратимой функции в сильно необратимую. Полиномиально моделируемые и доступные распределения.
  • Понятие трудного бита для данной функции. Лемма о трудном бите (конкатенация значения функции и трудного бита неотличима от конкатенации значения функции и случайного бита).
  • Построение генератора ПСЧ, исходя из односторонней перестановки с трудным битом.
  • Теорема о вероятностном декодировании списком кода Адамара.
  • Теорема Левина-Гольдрайха о трудном бите для односторонних функций (доказательство по модулю теоремы о вероятностном декодировании списком кода Адамара).
  • Семейства псевдослучайных функций (ПСФ). Сильный и слабый варианты определения. Построение псевдослучайных функций исходя из генератора ПСЧ.
  • Односторонние перестановки с секретом (trapdoor permutations). Примеры. Трудный бит для необратимой перестановки с секретом.
  • Одноразовые схемы шифрования с закрытым ключом (СШЗК, симметричные схемы). Построение СШЗК на основе генератора ПСЧ.
  • Многоразовые схемы шифрования с закрытым ключом. Построение многоразовой СШЗК на основе семейства ПСФ и одноразовой СШЗК.
  • Схемы шифрования с открытым ключом (ШОК, асимметричные схемы). Конструкция ШОК на основе необратимой перестановки с секретом.
  • Неинтерактивные протоколы привязки к биту (НПБ). Построение НПБ на основе односторонней перестановки
  • Интерактивные алгоритмы. Интерактивные протоколы привязки к биту (ИПБ). Построение ИПБ на основе генератора ПСЧ
  • Протоколы бросания монетки. Построение таких протоколов на основе протокола привязки к биту.
Элементы контроля

Элементы контроля

  • неблокирующий Колллоквиум
    Проходит устно.
  • неблокирующий Экзамен
  • неблокирующий Домашние задания
Промежуточная аттестация

Промежуточная аттестация

  • 2022/2023 учебный год 2 модуль
    0.4 * Домашние задания + 0.4 * Колллоквиум + 0.2 * Экзамен
Список литературы

Список литературы

Рекомендуемая основная литература

  • Шень, А. Х. Классические и квантовые вычисления/ : учебное пособие / А. Х. Шень, М. Н. Вялый. — 2-е изд. — Москва : ИНТУИТ, 2016. — 273 с. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/100617 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.

Рекомендуемая дополнительная литература

  • Goldreich, O. (2001). Foundations of Cryptography: Volume 2, Basic Applications. Cambridge: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=616989
  • Goldreich, O. (2003). Foundations of Cryptography: Volume 1, Basic Tools (Vol. [Rev. ed.]). Cambridge, U.K.: Cambridge University Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=112539

Авторы

  • Милованов Алексей Сергеевич
  • Верещагин Николай Константинович