Савчук, Михайло МиколайовичГоловач, Тетяна Олександрівна2023-08-212023-08-212020Головач, Т. О. Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень : магістерська дис. : 113 Прикладна математика / Головач Тетяна Олександрівна. – Київ, 2020. – 67 с.https://ela.kpi.ua/handle/123456789/59336У роботі було розглянуто використання булевих функцій в криптографічних системах та проаналізовано складність реалізації векторних булевих функцій від великої кількості змінних, описано та проаналізовано основні криптографічні властивості булевих функцій, а саме невиродженість, нелінійність, збалансованість, кореляційний імунітет та лавинний ефект. Результатом є розроблені на основі наведених теоретичних даних та реалізовані алгоритми перевірки основних криптографічних властивостей булевих функцій, а також алгоритм перевірки тотожності векторних булевих функцій великої кількості змінних статистичним моделюванням. Також наведені конкретні приклади реалізацій булевих функцій, аналізу їх властивостей та перевірки тотожності функцій. З використанням розроблених методів проведені експериментальні дослідження залежності часу аналізу булевих функцій на наявність основних криптографічних властивостей від кількості змінних. В роботі також описані та проаналізовані алгоритми синтезу булевих функцій з певними властивостями, зокрема орієнтовані на високе значення нелінійності.67 с.ukБулеві функціїСтатистичний критерій перевірки тотожності булевих функційКриптографічні властивостіАлгоритми синтезу булевих функцій з визначеним набором властивостей,Алгоритми перевірки криптографічних властивостейAlgorithms for testing of cryptographic propertiesStatistical criterion forhecking the identity of boolean functionsBoolean functionsCryptographic propertiesAlgorithms for generating boolean functions with a defined set of propertiesMaster Thesis