Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень
dc.contributor.advisor | Савчук, Михайло Миколайович | |
dc.contributor.author | Головач, Тетяна Олександрівна | |
dc.date.accessioned | 2023-08-21T12:59:01Z | |
dc.date.available | 2023-08-21T12:59:01Z | |
dc.date.issued | 2020 | |
dc.description.abstract | У роботі було розглянуто використання булевих функцій в криптографічних системах та проаналізовано складність реалізації векторних булевих функцій від великої кількості змінних, описано та проаналізовано основні криптографічні властивості булевих функцій, а саме невиродженість, нелінійність, збалансованість, кореляційний імунітет та лавинний ефект. Результатом є розроблені на основі наведених теоретичних даних та реалізовані алгоритми перевірки основних криптографічних властивостей булевих функцій, а також алгоритм перевірки тотожності векторних булевих функцій великої кількості змінних статистичним моделюванням. Також наведені конкретні приклади реалізацій булевих функцій, аналізу їх властивостей та перевірки тотожності функцій. З використанням розроблених методів проведені експериментальні дослідження залежності часу аналізу булевих функцій на наявність основних криптографічних властивостей від кількості змінних. В роботі також описані та проаналізовані алгоритми синтезу булевих функцій з певними властивостями, зокрема орієнтовані на високе значення нелінійності. | uk |
dc.description.abstractother | The 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.extent | 67 с. | uk |
dc.identifier.citation | Головач, Т. О. Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень : магістерська дис. : 113 Прикладна математика / Головач Тетяна Олександрівна. – Київ, 2020. – 67 с. | uk |
dc.identifier.uri | https://ela.kpi.ua/handle/123456789/59336 | |
dc.language.iso | uk | uk |
dc.publisher | КПІ ім. Ігоря Сікорського | uk |
dc.publisher.place | Київ | uk |
dc.subject | Булеві функції | uk |
dc.subject | Статистичний критерій перевірки тотожності булевих функцій | uk |
dc.subject | Криптографічні властивості | uk |
dc.subject | Алгоритми синтезу булевих функцій з визначеним набором властивостей, | uk |
dc.subject | Алгоритми перевірки криптографічних властивостей | uk |
dc.subject | Algorithms for testing of cryptographic properties | uk |
dc.subject | Statistical criterion forhecking the identity of boolean functions | uk |
dc.subject | Boolean functions | uk |
dc.subject | Cryptographic properties | uk |
dc.subject | Algorithms for generating boolean functions with a defined set of properties | uk |
dc.title | Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень | uk |
dc.title.alternative | Methods for Testing of Boolean Function Properties and for Searching of Qualitative Cryptographic Mappings | uk |
dc.type | Master Thesis | uk |
Файли
Контейнер файлів
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
- Опис: