Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень

dc.contributor.advisorСавчук, Михайло Миколайович
dc.contributor.authorГоловач, Тетяна Олександрівна
dc.date.accessioned2023-08-21T12:59:01Z
dc.date.available2023-08-21T12:59:01Z
dc.date.issued2020
dc.description.abstractУ роботі було розглянуто використання булевих функцій в криптографічних системах та проаналізовано складність реалізації векторних булевих функцій від великої кількості змінних, описано та проаналізовано основні криптографічні властивості булевих функцій, а саме невиродженість, нелінійність, збалансованість, кореляційний імунітет та лавинний ефект. Результатом є розроблені на основі наведених теоретичних даних та реалізовані алгоритми перевірки основних криптографічних властивостей булевих функцій, а також алгоритм перевірки тотожності векторних булевих функцій великої кількості змінних статистичним моделюванням. Також наведені конкретні приклади реалізацій булевих функцій, аналізу їх властивостей та перевірки тотожності функцій. З використанням розроблених методів проведені експериментальні дослідження залежності часу аналізу булевих функцій на наявність основних криптографічних властивостей від кількості змінних. В роботі також описані та проаналізовані алгоритми синтезу булевих функцій з певними властивостями, зокрема орієнтовані на високе значення нелінійності.uk
dc.description.abstractotherThe paper considers the use of Boolean functions in cryptographic systems and analyzes the complexity of implementing vector Boolean functions from a large number of variables, describes and analyzes the main cryptographic properties of Boolean functions, namely nondegeneracy, nonlinearity, balance, correlation immunity, and the avalanche effect. The result is developed on the basis of the given theoretical data and realized algorithms for testing of the main cryptographic properties of Boolean functions, and also algorithm for checking of the identity of vector Boolean functions of a large number of variables by statistical modeling. Specific examples of implementations of Boolean functions, analysis of their properties, and checking of the identity of functions are also given. Using the developed methods, experimental studies of the dependence of the time of analysis of Boolean functions on the presence of basic cryptographic properties on the number of variables were carried out. The paper also describes and analyzes algorithms for the synthesis of Boolean functions with certain properties, in particular, focused on the high value of nonlinearity.uk
dc.format.extent67 с.uk
dc.identifier.citationГоловач, Т. О. Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень : магістерська дис. : 113 Прикладна математика / Головач Тетяна Олександрівна. – Київ, 2020. – 67 с.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/59336
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.subjectБулеві функціїuk
dc.subjectСтатистичний критерій перевірки тотожності булевих функційuk
dc.subjectКриптографічні властивостіuk
dc.subjectАлгоритми синтезу булевих функцій з визначеним набором властивостей,uk
dc.subjectАлгоритми перевірки криптографічних властивостейuk
dc.subjectAlgorithms for testing of cryptographic propertiesuk
dc.subjectStatistical criterion forhecking the identity of boolean functionsuk
dc.subjectBoolean functionsuk
dc.subjectCryptographic propertiesuk
dc.subjectAlgorithms for generating boolean functions with a defined set of propertiesuk
dc.titleМетоди перевірки властивостей булевих функцій та пошуку якісних криптографічних перетвореньuk
dc.title.alternativeMethods for Testing of Boolean Function Properties and for Searching of Qualitative Cryptographic Mappingsuk
dc.typeMaster Thesisuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
Golovah_magistr.pdf
Розмір:
2.3 MB
Формат:
Adobe Portable Document Format
Опис:
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис: