Transitions identification experiments with information-lossless automata.pdf Конечный автомат называется автоматом с биективной функцией выходов (автоматомбез потери информации по [1]), если при фиксации любого состояния такой автоматосуществляет взаимно однозначное отображение множества входных символовна множество выходных символов. Известно [2], что автоматы данного класса используютсяв криптографии для шифрования конфиденциальной информации. Шифрующийавтомат преобразует осмысленные открытые тексты в нечитаемые шифрованные.При этом существует возможность однозначно восстановить исходный открытый текстпо известному шифрованному тексту и ключу. Обычно в качестве ключа берется начальноесостояние шифрующего автомата. «Засекречивание» подмножества переходовавтомата может существенно повысить способность таких автоматных шифров противостоятьразличным атакам.При адаптивной атаке с выбранным открытым текстом считается, что криптоаналитикимеет возможность подавать на шифратор специально подобранные открытыетексты и наблюдать соответствующие шифрованные тексты. Таким образом, в рамкахавтоматной модели мы имеем задачу восстановления подмножества переходов автоматас помощью проведения простого условного эксперимента. Причем будем считать,что эксперимент может иметь неопределенный исход, т. е. нет гарантии того, что в результатебудут распознаны все секретные переходы. Это соответствует ситуации, когдамы имеем метод криптоанализа с надежностью (вероятностью дешифрования [2]), неравной единице. Использование простых условных экспериментов предполагает, чтоу экспериментатора имеется в наличии только один экземпляр автомата-шифратораи по ходу эксперимента возможно изменение предъявляемых автомату входных словв зависимости от его выходных реакций на предъявленные ранее слова.Конечным автоматом A называется пятерка (S, X , Y, ф,

Скачать электронную версию публикации