Гулак, Геннадій Миколайович, <br/><br/>Складність алгоритму оцінювання функціональної безпеки інформаційних технологій для створення гарантоздатних автоматизованих систем / Г. М. Гулак <br/><br/><br/><br/> Досліджуються складність алгоритму розв'язання систем  лінійних рівнянь із спотвореними правими частинами шляхом  списочного декодування "вкорочених" кодів ріда-маллера  першого порядку, що призначений для використання у методі  оцінки функціональної безпеки криптографічних алгоритмів   криптографічних підсистем гарантоздатних автоматизованих систем, що використовуються для обробки інформації та управління на об'єктах критичної інфраструктури та суспільно важливих об'єктах . В даної роботі запропоновано розв'язок  задачі для оцінювання складності запропонованого алгоритму.  Зокрема, отримані верхні оцінки середньої трудомісткості для  загального випадку та максимальної трудомісткості  запропонованого алгоритму для множин спеціального вигляду,  що пов'язані з відновленням спотворених лінійних рекурент максимального періоду над полем з двох елементів. Наведено також досяжну верхню межу обсягу списку, який формується з  використанням запропонованого алгоритму. Отримані результати свідчать проте, що при визначених співвідношеннях  між параметрами запропонований раніше алгоритм має  меншучасову складність у порівнянні з раніше відомим  детермінованим алгоритмом аналогічного призначення, який  базується на швидкому перетворенні Адамара. Це означає можливість застосування більш ефективного інструменту для оцінки вразливості криптографічних підсистем щодо потужних кібератак, конче забезпечувати більш достовірну оцінку їх функціональної безпеки <br/><br/><br/><br/><label>ISSN: </label><br/><br/><label>Subjects--Index Terms: </label>гарантоздатність достовірність функціональна безпека функціональна безпека криптографічної підсистеми криптографічна атака стійкість криптографічного перетворення списочне декодування відстань Геммінга швидке перетворення Адамара перетворення Уолша-Адамара код Ріда-Маллера