Качко, Е. Г.Телевный, Д. К.2020-06-082020-06-082016Качко Е. Г. Исследование возможности использования языков функционального программирования при моделировании методов криптографических преобразований / Е. Г. Качко, Д. К. Телевный // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2016. – Т. 15, № 4 – С. 162–166.http://openarchive.nure.ua/handle/document/12112Статья посвящена проблеме возможности моделирования методов криптографических преобразований в контексте функционального программирования. Проанализированы основные особенности чисто функциональных языков, а также математический базис симметричных шифров. Выявлены и обоснованы преимущества и недостатки функционального программирования при реализации существующих алгоритмов криптографических преобразований, моделировании и верификации создаваемых. На основе предлагаемого исследования авторами приведены доказательства о целесообразности использования такого подхода как инструмента при моделировании и верификации преобразований.ruкриптографические преобразованиебазис симметричных шифровфункциональное программированиеArticle