面向分组密码算法的程序设计语言研究  

Research on the Programming Language for the Block Cipher Algorithm

作　　者：李凤华[1] 阎军智[2] 谢绒娜[1] 马建峰[2] 欧海文[1] 

机构地区：[1]北京电子科技学院研究生处,北京100070 [2]西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071

出　　处：《电子学报》2009年第12期2705-2710,共6页Acta Electronica Sinica

基　　金：国家863高技术研究发展计划(No.2007AA012472;2007AA012429;2007AA012482);国家自然科学基金(No.60633020;60702059);教育部重点项目(No.209156);北京市自然科学基金(No.4082028;4102056);天津科技攻关计划项目(No.06YFGZGXl7500);北京电子科技学院信息安全重点实验室基金(No.YZDJ0807)

摘　　要：本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(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.

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

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]