CAJ | 학술논문

本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the Block Cipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.
본문제출료일충접근수학묘술적면향분조밀마산법적정서설계어언(Programming Language for the Block Cipher 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 cryptograpblc algorithms conveniently and quickly. PLBCA may improve the testing efficiency of cryptograpblc algorithm, and it can be used as an assistant for the design and automatic analysis for cryptographic algorithms.