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

来源 :电子学报 | 被引量 : 0次 | 上传用户:flyinsky_zxt
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了一种接近数学描述的面向分组密码算法的程序设计语言(Programming Language for the BlockCipher Algorithm,PLBCA).PLBCA能够以形式化方式方便地描述分组密码算法的结构.本文介绍了PLBCA的语法规范,以分组密码算法DES为例说明PLBCA应用方法,并借助ANTLR工具实现了PLBCA的解析器.利用PLBCA,密码学专家可以方便快捷地对密码算法进行算法正确性和安全性分析,以检验算法的设计.PLBCA有助于提高密码算法检验的效率,为密码算法的设计
其他文献
作为家长,常常会产生这种困惑:为什么孩子如此难于教育和管理,无论是5岁的儿童,还是15岁的少年。在孩子的成长过程中,会产生各种问题,像说谎、打架,几乎是每个孩子都会犯的“家常”
考察了两种不同的制备方法对PdY沸石的乙烯双聚活性以及催化剂活化过程的影响,并根据催化剂的活化机理讨论了产生这些影响的本质原因。发现用钯氨络离子交换制得的PdY沸石在
XCP在多瓶颈网络中存在缺陷,利用率和公平性显著下降.本文根据控制论中的反馈补偿原理,提出一个基于PII控制器的XCP带宽补偿算法.仿真实验表明该带宽补偿算法能够有效消除XCP
用DV—X_α方法对铁石墨嵌合物及乙炔、乙烯在其上的吸附行为进行了研究。计算结果表明,铁石墨嵌合物的生成不仅引起了催化位铁几何排列的变化,而且改变了铁的电子性质。乙炔
本文用X射线衍射相分析和透射电子显微镜观察,证明了共沉淀法制备的Fe-Cr系中变催化剂的主体相是α-Fe<sub>2</sub>O<sub>3</sub>和γ-Fe<sub>2</sub>O<sub>3</sub>的两相混
<正> 氧化铌在含水体系中表现出强酸性,因而它在众多的含水反应中得到越来越多的应用。酸浸渍处理后的铌酸在一定条件下可变成结晶型氧化铌。它不仅酸量大,酸强度高,而且酸性
塔式起重机(以下简称“塔机”)是核电站土建施工中的关键设备。塔机的装拆和使用过程与核电站全过程安全与顺利施工密切相关,也是核电施工企业安全管理工作贯标达标的重要一环。
探讨了用电负性来表征分子筛的物理化学性质。分子筛平均电负性不仅受分子筛硅铝比的影响,而且也受分子筛组成中阳离子含量和阳离子价数的影响。本文推导了混合阳离子型和多
现代大型监控系统通常是一个复杂的硬/软件综合系统,其可靠性分析对于系统的设计、评估具有重要意义.综合考虑硬件、软件特点以及两者之间的相互作用关系,提出一种基于Markov过程
哲理的故事二战时,金融大亨索罗斯还是个小孩。那时他们一家都生活在匈牙利首都布达佩斯,属于德军占领区。作为犹太人,为了避免纳粹屠杀,躲藏就成为索罗斯一家生活的主题。