Аннотация:
Объектом исследования является асинхронный генератор, составленный из сумматоров по модулю два с обратными связями. Такие устройства используются в криптографии для генерации случайных ключей. Цель исследования – выработка аналитического инструмента для выявления опасных для процесса генерации стабильных и частично стабильных состояний, из которых генератор не может выйти в процессе работы. Предлагаемая математическая модель основана на исследовании линейных уравнений над полем $GF(2)$ и матриц с неотрицательными элементами. Рассмотрены примеры применения разработанного метода.