📄Работа №139020

Тема: Применение эвристических алгоритмов к задачам поиска максимально нелинейных векторных булевых функций

📝
Тип работы Бакалаврская работа
📚
Предмет математика и информатика
📄
Объем: 48 листов
📅
Год: 2023
👁️
Просмотров: 122
Не подходит эта работа?
Закажите новую по вашим требованиям
Узнать цену на написание
ℹ️ Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.

📋 Содержание

Аннотация 2
Abstract 3
Введение 6
1 Ограничения наибольшей нелинейности (n,m)-функции алгебры логики .... 7
1.1 Постановка задачи 7
1.2 Верхняя оценка наибольшей нелинейности векторной (n,m)-функции
алгебры логики 12
1.3 Нижние границы наибольшей нелинейности (п^Уфункции алгебры
логики 15
1.4 Таблица границ наибольшей нелинейности векторной (п^^функции
алгебры логики для разных n и m 17
2 Применяемые эвристические методы 20
2.1 Метод Метрополиса 20
2.1.1 Метод Метрополиса для несбалансированной задачи 21
2.1.2 Метод Метрополиса для задачи с учётом ограничения на
сбалансированность 22
2.1.3 Версии метода Метрополиса 22
2.2 Поиск восхождением к вершине 22
2.2.1 Метод поиска путём постепенного восхождения к вершине для задачи
без учёта ограничения на сбалансированность 23
2.2.2 Метод поиска путём постепенного восхождения к вершине для задачи
с учётом ограничения на сбалансированность 24
2.3 Генетический алгоритм 24
2.3.1 Генетический алгоритм для несбалансированной задачи 24
2.3.2 Генетический алгоритм для экстремальной задачи с учётом
ограничения на сбалансированность 26
2.3.3 Вариации генетического алгоритма 27
2.4 Совершенствование используемых эвристических методов 28
3 Результаты работы алгоритмов 29
3.1 Результат работы алгоритмов для несбалансированной задачи 31
3.2 Результат работы алгоритмов для сбалансированной задачи 38
Заключение 44
Список используемой литературы 45

📖 Введение

Векторные булевы функции выступают основной составляющей при разработке криптографических систем. Для обеспечения криптостойкости векторная булева функция должна иметь некоторые показатели. Ключевыми показателями криптостойкости являются нелинейность и сбалансированность. Функции должны обладать этими показателями каждая в отдельности и совместно. Целью выпускной квалификационной работы является описание и оценка работы различных эвристических методов нахождения нелинейных и сбалансированных векторных функций алгебры логики. Необходимо рассмотреть нахождение таких функций с помощью алгоритма поиска путём постепенного восхождения на вершину, с помощью алгоритма имитации отжига, с помощью генетического алгоритма. Приведённые методы уже применялись для нахождения векторных булевых функций, но не сравнивались между собой.
Для достижения поставленной цели необходимо выполнить следующие задачи:
- определить границы максимального отклонения векторной булевой функции от аппроксимирующей прямой линии;
- выявить векторные функции алгебры логики, у которых отклонение от аппроксимирующей линии близко к ранее определённым границам максимального отклонения;
- выявить векторные функции алгебры логики, обладающие сбалансированностью, с отклонением от аппроксимирующей прямой линии, приближающимся к определённым ранее границам;
- построить алгоритм и выполнить сравнительный анализ методов, способствующих реализации указанных выше задач.

Возникли сложности?

Нужна качественная помощь преподавателя?

👨‍🎓 Помощь в написании

✅ Заключение

К задачам поиска векторных булевых функций с высокой нелинейностью и поиска сбалансированных векторных булевых функций с высокой нелинейностью были применены эвристические алгоритмы: метод Метрополиса, метод поиска путём постепенного восхождения к вершине, генетический алгоритм и их комбинации. Эти алгоритмы были написаны на языке Java. Также был применён генетический алгоритм Matlab.
Чтобы оценить работу запрограммированных алгоритмов относительно максимально возможного значения нелинейности, были изучены теоретические границы максимальной нелинейности. С помощью исследуемых алгоритмов для случаев п = 5, т = 6 и п = 8, т = 9 удалось уточнить теоретические границы максимальной нелинейности снизу.
По работе алгоритмов для обеих задач максимизации нелинейности векторной булевой функции, с учётом требования сбалансированности и без, была собрана статистика для различных п и т. По ней можно сделать вывод, что лучшей статистикой по найденным функциям обладают комбинированные методы поиска, комбинации генетического алгоритма с методом поиска путём постепенного восхождения к вершине и метод Метрополиса с методом поиска путём постепенного восхождения к вершине. Однако, как стоило ожидать, комбинации алгоритмов имеют наибольшее время работы.
Метод поиска путём постепенного восхождения к вершине для задачи без учёта сбалансированности имеет лучшую статистику по функциям среди некомбинированных алгоритмов. Для задачи с учётом сбалансированности метод поиска путём постепенного восхождения к вершине работает в несколько раз быстрее других алгоритмов и часто ищет функции не хуже, чем комбинированные методы поиска.

Нужна своя уникальная работа?
Срочная разработка под ваши требования
Рассчитать стоимость
ИЛИ

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

1. Агафонова, И.В. Алгебраическая нормальная форма булевой функции и бинарное преобразование Мёбиуса / И.В. Агафонова - 2013. - 9 с.
2. Логачёв, О.А. Булевы функции в теории кодирования и криптологии / О.А. Логачёв, А.А. Сальников, В.В. Ященко - М.: МЦНМО, 2004. - 470 с.
3. Лопатин, А.С. Метод отжига. Стохастическая оптимизация в информатике: Межвуз. сб. / Под ред. О.Н. Граничина / А.С. Лопатин - СПб.: Издательство СПбГУ, 2005. - С. 133-149.
4. Мак-Вильямс, Ф.Дж. Теория кодов, исправляющих ошибки / Ф.Дж. Мак-Вильямс, Н.А. Слоэн - М.: Связь, 1979. - 744 с.
5. Токарева, Н.Н. Нелинейные булевы функции: бент-функции и их обобщения / Н.Н. Токарева - Издательство LAP LAMBERT Academic Publishing (Saarbrucken, Germany), 2011. - 180 с.
6. Carlet, С. Boolean Methods and Models, chapter Vectorial boolean functions for cryptography / C. Carlet - Cambridge University Press, 2008.
7. Chabaud, F. Links between differential and linear cryptanalysis. In: De Santis A. (eds) Advances in Cryptology - EUROCRYPT'94. Lecture Notes in Computer Science, vol 950 / F. Chabaud, S. Vaudenay. - Springer, Berlin, Heidelberg, 1994. - Pp. 356-365.
8. Clark, J.A. The design of S-boxes by simulated annealing. New Generation Computing, vol 23(3) / J.A. Clark, J.L. Jacob, S. Stepney. - 2005. - Pp. 219-231.
9. Kavut, S. Generalized rotation symmetric and dihedral symmetric boolean functions - 9 variable boolean functions with nonlinearity 242. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes / S. Kavut, M.D. Yucel Vaudenay. - Springer, Berlin, Heidelberg, 2007. - Pp. 321-329.
10. Maitra, S. Boolean functions on odd number of variables having nonlinearity greater than the bent concatenation bound. Boolean Functions in Cryptology and Information Security / S. Maitra - 2008. - Pp. 173-182.
11. Millan, W. Boolean function design using hill climbing methods. In Information Security and Privacy / W. Millan, A. Clark, E. Dawson. - Springer, 1999. - Pp. 1-11.
12. Millan, W. Evolutionary heuristics for finding cryptographically strong s-boxes. In: Varadharajan V., Mu Y. (eds) Information and Communication Security. ICICS 1999. Lecture Notes in Computer Science, vol 1726 / W. Millan, L. Burnett, G. Carter, A. Clark, E. Dawson. - Springer, 1999. - Pp. 263-274.
13. Millan, W. Heuristic design of cryptographically strong balanced boolean functions. In EUROCRYPT 98, LNCS 1403 / W. Millan, A. Clark, E. Dawson. - Springer-Verlag, 1998. - Pp. 489-499.
14. Millan, W. How to improve the nonlinearity of bijective s-boxes. In: Boyd C., Dawson E. (eds) Information Security and Privacy. ACISP 1998. Lecture Notes in Computer Science, vol 1438 / W. Millan. - 1998. - Pp. 181-192.
15. Millan, W. Smart hill climbing finds better boolean functions. In Proceedings of the Workshop on Selected Areas on Cryptography / W. Millan, A. Clark, E. Dawson. - Springer-Verlag, 1997. - Pp. 50-63...20

🖼 Скриншоты

🛒 Оформить заказ

Работу высылаем в течении 5 минут после оплаты.

©2026 Cервис помощи студентам в выполнении работ