本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.
The Programming Language for the Block Cipher Algorithm (PLBCA) is proposed, which is similar to the mathe-matical description and is adapt to describe the structure of block cipher algorithm in a formal way. The grammar of PLBCA is pre-sented and the DES algorithm is described using PLBCA as an example. The PLBCA parser is implemented by the ANTLR tools.Using PLBCA, the cryptography experts could test and analyze the cryptographic algorithms conveniently and quickly. PLBCA may improve the testing efficiency of cryptographic algorithm,and it can be used as an assistant for the design and automatic analysis for cryptographic algorithms.