Криптоанализ двухкаскадного конечно-автоматного генератора с функциональным ключом | Прикладная дискретная математика. 2018. № 42. DOI: 10.17223/20710410/42/3

Рассматривается криптографический генератор G = A? · A2, представляющий собой последовательное соединение двух абстрактных конечных автоматов A? и A2 над полем F2. Ключом генератора является функция f? выходов автомата A? и, возможно, начальные состояния автоматов. Задача криптоанализа генератора G состоит в определении его ключа по заданному отрезку 7 = z(1)z(2)... z(l) его выходной последовательности. Описаны алгоритмы анализа автомата A2 в общем случае и для конечно-автоматного генератора (5, т)-шагов, позволяющие найти поступающий на вход автомата A₂ прообраз u(1) ...u(l) последовательности 7. Значения u(t) суть значения функции f₍ на наборах x(t), t = 1, 2,..., l, где x(t) - состояние автомата A? в момент времени t. Если начальное состояние x(1) и класс функций С?, которому принадлежит f?, известны, то задача поиска функции f? сводится к доопределению частичной булевой функции до функции в классе С?.