Аннотация:
Квантовые вычисления оказывают на симметричную криптографию не столь сильное воздействие, как на асимметричную. Однако существуют симметричные криптографические алгоритмы, на которые можно построить атаку при наличии доступа к квантовому вычислителю. Квантовые формальные модели, в рамках которых изучаются свойства криптографических алгоритмов, могут классифицироваться по большему количеству признаков, чем классические. Так, квантовые модели можно разделить по типу доступа нарушителя к квантовому вычислителю: может ли нарушитель только локально запускать квантовые алгоритмы или имеет доступ в суперпозиции к квантовому вычислителю, на котором реализован атакуемый криптографический алгоритм. Квантовые эффекты, не имеющие аналогов в рамках классических вычислений, вносят определённые ограничения в методы обоснования безопасности криптографических алгоритмов в рамках формальных моделей и, как следствие, для существующих алгоритмов в ряде случаев требуются новые обоснования при новых ограничениях. Обоснованные свойства безопасности позволяют ограничить область применения алгоритмов в рамках вычислительной инфраструктуры, включающей квантовые компьютеры. В работе приводится обзор и систематизация существующих результатов в области постквантовой симметричной криптографии на основе блочных шифров, а также выделяются актуальные, по мнению авторов, научно-технические направления в этой области.