摘要：本文提出了一种接近数学描述的面向分组密码算法的程序设计语言（Programming Language for the BlockCipher Algorithm,PLBCA）.PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.

关键词：领域专用语言 分组密码算法程序设计语言 des密码算法 

单位：北京电子科技学院研究生处; 北京100070; 西安电子科技大学计算机网络与信息安全教育部重点实验室; 陕西西安710071