- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
于葡
于葡 要
代数攻击是近几年来最重要的密码分析技术之一。代数免疫度是随着代数 攻击的出现而提出的关于布尔函数的一个新准则,用于衡量布尔函数抵抗标准 代数攻击的能力。为了有效抵抗代数攻击,密码系统中使用的布尔函数必须具 有尽可能高的代数免疫度,甚至要求是代数免疫最优的。求解多变元非线性方 程系统的快速方法是支撑代数攻击有效实施的重要步骤,而GrObner基正是求 解非线性方程系统的一个重要方法。广泛应用于代数攻击的XL算法就是 Gr6bner基的一个快速算法(F4算法)的冗余版本。
本文首先研究了代数免疫最优布尔函数的递归构造,提出了代数免疫最优 布尔函数的二阶递归构造法和一阶递归构造法;其次讨论了两类对称布尔函数, 对其代数免疫性,代数次数和非线性度做了深入研究并得到完整结果;最后研 究了Gr6bner基的快速计算。具体结果如下:
1)研究了代数免疫最优布尔函数的递归构造。首先,给出了代数免疫最优 布尔函数的二阶递归构造方法。该方法构造的布尔函数代数免疫最优,具有优 良的代数次数和非线性度,并且与之前的二阶递归构造法相比,它具有更加优 良的平衡性。其次,提出了代数免疫最优布尔函数的一阶递归构造法。该方法 构造的布尔函数不但代数免疫最优,而且是完全平衡的。这是首个代数免疫最
优布尔函数的一阶递归构造法。最后,基于布尔函数的变换,对上述两类递归
构造法进行了推广。 2)分析了两类对称布尔函数。证明了这两类布尔函数代数免疫最优的充要
条件,并进一步解决了其中代数免疫最优部分函数的计数问题。同时,详细讨 论了这两类函数的其它密码学性质,特别是,完全确定了其代数次数和非线性 度,从而解决了Braeken关于这两类函数中代数免疫最优部分函数的代数次数 和非线性度的猜想。
3)讨论了GNibner基的快速计算。提出了二元多项式理想Gr6bner基的一 个快速算法。证明了在严格排序的生成集中,只需计算相邻多项式间的S.多项 式即可。基于该结论,在Gr6bner基的计算过程中,所需计算的S.多项式的数 量从号,.(,-1)锐减到驴一1),其中,.为当前生成元组中多项式的数量,从而提高
了计算效率。
关键词:序列密码;代数攻击:布尔函数;代数免疫;GrSbner基 中图分类号:TP309.7
复旦大学博士学位论文Abstra
复旦大学博士学位论文
Abstra ct
Recently,algebraic attack is considered as one of the most powerful tools for cryptanalysis.To meas珊e the resistance to algebraic attacks,a new cryptographic property of Boolean functions,called algebraic immunity,has been proposed.In order to resist algebraic attacks,the Boolean functions employed in cryptosystems
should possess high algebraic immunity(even optimum algebraic immunity). Solving an over-defmed nonlinear equation system is a key step for algebraic attack. 研6bner bases theory is an important method to solve the systems.XL algorithm.
which is used widely in algebraic attacks,is proved to be a redundant version of F4
algorithm(one of the efficient computing algorithms for Gr6bner bases).
In this dissertation,we firstly investigate the recursive constructions of Boolean
functions with optimum algebraic immunity.Moreover,we discuss two classes of
symmetric Boolean functions、析m regard to algebraic immunity,algebraic degree and nonlinearity.Finally,we study the fast computing for Gr6
您可能关注的文档
- 老鹰茶抗氧化活性物质基础研究-食品科学专业毕业论文.docx
- 论服务型政府内涵的三个维度-行政管理专业毕业论文.docx
- 利用热历史和成核剂调控iPP的结晶和微孔 发泡性能-材料加工工程专业毕业论文.docx
- 俚岛人工鱼礁生态养护效果及共生态系统综合效应的初步评价-渔业资源专业毕业论文.docx
- 辽宁省普通高校网球运动开展现状及影响因素分析-体育教育专业毕业论文.docx
- 山地建筑设计方法探索——网格叠加法-建筑学专业毕业论文.docx
- 论我国电视媒介资金供给机制的重构-财政学专业毕业论文.docx
- 硫酸钠作为蛋鸡饲料添加剂的安全性评价-养殖(农业推广)专业毕业论文.docx
- 善终报恩集团大陆市场开拓战略研究-工商管理专业毕业论文.docx
- 辽河油田医院药房管理系统的设计与实现-软件工程专业毕业论文.docx
- 颅内动脉瘤三维数字减影血管造影及血管内栓塞的随访研究-神经外科专业毕业论文.docx
- 老年人应急性家用医疗产品的设计研究-设计艺术学专业毕业论文.docx
- 锂离子电池正极材料LiFePO4的合成工艺及改性研究-化学工艺专业毕业论文.docx
- 论艺术能力及其对儿童艺术教育的启示-学前教育学专业毕业论文.docx
- 岭南医家潘名熊《叶案括要》整理及相关研究-中医医史文献专业毕业论文.docx
- 离子注入透明绝缘材料中纳米颗粒的合成、表征与调控-材料物理与化学专业毕业论文.docx
- 丽攀高速某昔格达高填方路堤稳定性研究-地质工程专业毕业论文.docx
- 论韩少功公共知识分子身份及践行-中国现当代文学专业毕业论文.docx
- 蓝牙硬拷贝电缆替代协议(HCRP)的验证与应用实现-信号与信息处理专业毕业论文.docx
- 论我国法务会计理论框架的构建及在诉讼支持中的运用-会计学专业毕业论文.docx
文档评论(0)