面向分组密码算法的程序设计语言研究-电子学报.pdf

第 期 电 子 学 报 １２ Ｖｏｌ．３７ Ｎｏ．１２ 年 月 ２００９ １２ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｄｅｃ． ２００９ 面向分组密码算法的程序设计语言研究 １ ２ １ ２ １ 李凤华 ，阎军智 ，谢绒娜 ，马建峰 ，欧海文 （ 北京电子科技学院研究生处，北京 ； １． １０００７０ 西安电子科技大学计算机网络与信息安全教育部重点实验室，陕西西安 ） ２． ７１００７１ 摘 要： 本文提出了一种接近数学描述的面向分组密码算法的程序设计语言（ ＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｆｏｒｔｈｅＢｌｏｃｋ ， ） 能够以形式化方式方便地描述分组密码算法的结构 本文介绍了 的语法规范， ＣｉｐｈｅｒＡｌｇｏｒｉｔｈｍＰＬＢＣＡ．ＰＬＢＣＡ ． ＰＬＢＣＡ 以分组密码算法 为例说明 应用方法，并借助 工具实现了 的解析器 利用 ，密码学专 ＤＥＳ ＰＬＢＣＡ ＡＮＴＬＲ ＰＬＢＣＡ ． ＰＬＢＣＡ 家可以方便快捷地对密码算法进行算法正确性和安全性分析，以检验算法的设计．ＰＬＢＣＡ有助于提高密码算法检验的 效率，为密码算法的设计和自动检测分析提供了一种辅助工具． 关键词： 领域专用语言；分组密码算法程序设计语言； 密码算法 ＤＥＳ 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３０２１ Ａ ０３７２１２２７０５０６ ＲｅｓｅａｒｃｈｏｎｔｈｅＰｒｏｇｒａｍｍｉｎｇＬａｎｇｕａｇｅｆｏｒｔｈｅＢｌｏｃｋＣｉｐｈｅｒＡｌｇｏｒｉｔｈｍ １ ２ １ ２ １ ， ， ， ， ＬＩＦｅｎｇｈｕａＹＡＮＪｕｎｚｈｉＸＩＥＲｏｎｇｎａＭＡＪｉａｎｆｅｎｇＯＵＨａｉｗｅｎ （ ， ， ， ； １．ＧｒａｄｕａｔｅＳｃｈｏｏｌＢｅｉｊｉｎｇＥｌｅｃｔｒｏｎｉｃＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙＩｎｓｔｉｔｕｔｅＢｅｉｊｉｎｇ１０００７０Ｃｈｉｎａ （ ）， ， ’ ， ， ） ２．Ｋｅ