本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说...本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.展开更多
1引言
一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的工作者可以简洁地用它构造领域内的应用程序.设计领域语言的...1引言
一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的工作者可以简洁地用它构造领域内的应用程序.设计领域语言的主要目的就是为了简化应用程序开发过程、降低开发代价,同时又保证领域概念的清晰性,使开发过程可靠性高、可维护性强[1].展开更多
文摘本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计和自动检测分析提供了一种辅助工具.
文摘1引言
一般来说,领域语言(Domain Specific Language,又称Little Language)是特定于某个领域的需求的描述语言,它提供足够多的语言成分支持该领域中通用的各种概念,使该领域的工作者可以简洁地用它构造领域内的应用程序.设计领域语言的主要目的就是为了简化应用程序开发过程、降低开发代价,同时又保证领域概念的清晰性,使开发过程可靠性高、可维护性强[1].