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

来源 :电子学报 | 被引量 : 0次 | 上传用户：flyinsky_zxt

【摘要】

：

本文提出了一种接近数学描述的面向分组密码算法的程序设计语言（Programming Language for the BlockCipher Algorithm,PLBCA）.PLBCA能够以形式化方式方便地描述分组密码算法的

【作者】

：

李凤华阎军智谢绒娜马建峰欧海文

【机构】

：

北京电子科技学院研究生处,西安电子科技大学计算机网络与信息安全教育部重点实验室

【出处】

：

电子学报

【发表日期】

：

2009年12期

【关键词】

：

领域专用语言分组密码算法程序设计语言 DES密码算法 domain specific language programming language for t

【基金项目】

：

国家863高技术研究发展计划（N0.2007AA01Z472,2007AA01Z429,2007AA01Z482）,国家自然科学基金（No.60633020,60702059）,教育部重点项目（No.209156）,北京市自然科学基金（No.4082028,4102056）,天津科技攻关计划项目（No.06YFGZGX17500）,北京电子科技学院信息安全重点实验室基金（No.YZDJ0807）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文提出了一种接近数学描述的面向分组密码算法的程序设计语言（Programming Language for the BlockCipher Algorithm,PLBCA）.PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计

其他文献

核电站土建施工中塔机的安全管理

塔式起重机（以下简称“塔机”）是核电站土建施工中的关键设备。塔机的装拆和使用过程与核电站全过程安全与顺利施工密切相关，也是核电施工企业安全管理工作贯标达标的重要一环。

期刊

安全管理工作土建施工核电站塔机塔式起重机施工企业全过程装拆

基于Markov过程的硬／软件综合系统可靠性分析

现代大型监控系统通常是一个复杂的硬／软件综合系统，其可靠性分析对于系统的设计、评估具有重要意义．综合考虑硬件、软件特点以及两者之间的相互作用关系，提出一种基于Markov过程

期刊

硬/软件综合系统MARKOV过程硬件失效软件失效硬/软件结合失效可靠度可用度combined hardware/software Markov

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

其他学术论文