分组密码算法领域专用语言的设计与实现

摘要

本文提出了一种接近数学描述的分组密码算法领域专用语言(BCADSL),BCADSL以形式化方式易于描述分组密码算法的结构。以分组密码算法DES为例说明BCADSL应用方法，通过改进ANTLR工具实现了密码算法代码生成系统,该系统可将由BCADSL描述的分组密码算法自动生成C语言源代码。BCADSL的实现可使密码学专家更专注密码算法的设计,提高了密码算法检验的效率,为密码算法自动检测分析提供了一种辅助工具。