О криптоаналитической обратимости с конечной задержкой конечных автоматов

Рассматривается свойство обратимости с конечной задержкой конечных автоматов с позиции криптоаналитика, а именно в зависимости от априорной информации, доступной алгоритму обращения. В криптоанализе, например симметричных конечно-автоматных шифров атакой с известным шифртекстом, типична ситуация, когда задачу обращения автомата приходится решать частично осведомлённому криптоаналитику. В зависимости от этой осведомлённости можно определить 208 различных типов обратимости и обратимых автоматов, изучить их свойства и установить соотношения между ними. Общеизвестные понятия сильной и слабой обратимости автоматов — это только два из этих типов. Целью настоящего доклада является обсуждение понятия криптоаналитической обратимости автоматов. Назван ряд математических задач (от характеризации автоматов, криптоаналитически обратимых разного типа, до создания на их основе криптосистем с открытым и закрытым ключом и их криптоанализа), которые представляют собой интересный предмет для дальнейших исследований и публикаций.