Диссертация

Царегородцев Кирилл Денисович

Кандидат наук

Статус диссертации

  
Диплом Кандидат наук
  
Решение o выдаче диплома
  
Положительное заключение AK
  
Ha рассмотрении в AK
  
Положительная защита
17.10.2025 
Объявление опубликовано
26.09.2025 
Принят к защите
24.09.2025 
Заключение комиссии
18.09.2025 
Документы приняты
ФИО соискателя
Царегородцев Кирилл Денисович
Степень на присвоение
Кандидат наук
Дата и время защиты
21.11.2025 18:45
Место проведения защиты
119234, Москва, ГСП-1, Ленинские горы, д. 1, МГУ имени М. В. Ломоносова, механико-математический факультет, аудитория 14-08
Научные руководители
Панкратьев Антон Евгеньевич
Кандидат наук
Галатенко Алексей Владимирович
Кандидат наук
Оппоненты
Щучкин Николай Алексеевич
Доктор наук Доцент
Камловский Олег Витальевич
Доктор наук Доцент
Токарева Наталья Николаевна
Кандидат наук
Места выполнения работы
Московский государственный университет имени M.B.Ломоносова, Механико-математический факультет, Кафедра математической теории интеллектуальных систем
Специальности
1.1.5. Математическая логика, алгебра, теория чисел и дискретная математика
физико-математические науки
Диссертационный совет
Телефон совета
+7 495 939-14-70

Правильные семейства функций, введенные В.А. Носовым в 1998 г., могут использоваться для функционального задания квазигрупп больших размеров, которые, в свою очередь, могут использоваться в различных криптографических приложениях.

С точки зрения таких приложений важными для изучения являются свойства групп, порожденных квазигрупповыми сдвигами, число ассоциативных троек в получающихся квазигруппах, наличие или отсутствие подквазигрупп.

В диссертации исследованы различные свойства правильных семейств в булевом случае и в k-значной логике, предложены несколько эквивалентных определений правильности, построены новые классы правильных семейств в различных логиках, изучены алгебраические свойства подстановок, порожденных правильными семействами, описана структура стабилизатора множества правильных семейств. Также предложен алгоритм шифрования, сохраняющий формат сообщений, основанный на квазигрупповых сдвигах. Приведены результаты численных экспериментов для правильных булевых семейств малых размеров.