Исследование возможности использования языков функционального программирования при моделировании методов криптографических преобразований

Abstract

Статья посвящена проблеме возможности моделирования методов криптографических преобразований в контексте функционального программирования. Проанализированы основные особенности чисто функциональных языков, а также математический базис симметричных шифров. Выявлены и обоснованы преимущества и недостатки функционального программирования при реализации существующих алгоритмов криптографических преобразований, моделировании и верификации создаваемых. На основе предлагаемого исследования авторами приведены доказательства о целесообразности использования такого подхода как инструмента при моделировании и верификации преобразований.