| According to the requirement of cryptographic algorithm and development of automatic testing tools of security protocol and evaluation system of 863 project (2007AA01Z472 ), and in order to facilitate the cryptographists to describe block cipher algorithm, the Block Cipher Algorithm Special Description Language (BCASDL) is introduced.The BCASDL can be used to describe block cipher algorithm, and an kind of functional BCASDL parser is realized in emulation way by ANTLR tool, The parser can be used to verify the block cipher algorithm designed by cryptographists, and is generated on the basis of BCASDL grammar specification.BCASDL is abstracted based on analysis of the feature, discipline and expression of the existing block cipher algorithm. The description of this language is closed to the features of block cipher algorithm's mathematical express, so that cryptographists can conveniently describe the design philosophy of block cipher algorithm. In order to construct the BCADSL parser, this paper selected the tool of lexical and syntax–ANTLR, which is based upon the research domain specific language (DSL), and compared with script language, lexical and syntax tool in the feature of open source and extendibility and generating target code. ANTLR can generate the C object code automatically according to the lexical, syntax and semantic action grammar of the language which are defined by the BCASDL grammar specification, and finally the BCASDL parser can be generated by Visual Studio 2005.This paper describes DES cipher algorithm using BCASDL, and the validity of this parser is verified by the descryiption of DES cryptographic algorithm. |