Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень
Вантажиться...
Дата
2020
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
У роботі було розглянуто використання булевих функцій в криптографічних системах та проаналізовано складність реалізації векторних булевих функцій від великої кількості змінних, описано та проаналізовано основні криптографічні властивості булевих функцій, а саме невиродженість, нелінійність, збалансованість, кореляційний імунітет та лавинний ефект.
Результатом є розроблені на основі наведених теоретичних даних та реалізовані алгоритми перевірки основних криптографічних властивостей булевих функцій, а також алгоритм перевірки тотожності векторних булевих функцій великої кількості змінних статистичним моделюванням. Також наведені конкретні приклади реалізацій булевих функцій, аналізу їх властивостей та перевірки тотожності функцій.
З використанням розроблених методів проведені експериментальні дослідження залежності часу аналізу булевих функцій на наявність основних криптографічних властивостей від кількості змінних. В роботі також описані та проаналізовані алгоритми синтезу булевих функцій з певними властивостями, зокрема орієнтовані на високе значення нелінійності.
Опис
Ключові слова
Булеві функції, Статистичний критерій перевірки тотожності булевих функцій, Криптографічні властивості, Алгоритми синтезу булевих функцій з визначеним набором властивостей,, Алгоритми перевірки криптографічних властивостей, Algorithms for testing of cryptographic properties, Statistical criterion forhecking the identity of boolean functions, Boolean functions, Cryptographic properties, Algorithms for generating boolean functions with a defined set of properties
Бібліографічний опис
Головач, Т. О. Методи перевірки властивостей булевих функцій та пошуку якісних криптографічних перетворень : магістерська дис. : 113 Прикладна математика / Головач Тетяна Олександрівна. – Київ, 2020. – 67 с.