针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型

针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型

ID:35100730

大小:4.68 MB

页数:67页

时间:2019-03-17

针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型_第1页
针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型_第2页
针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型_第3页
针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型_第4页
针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型_第5页
资源描述:

《针对arx算法基于milp的差分线性自动化搜索技术与模减差分的smt模型》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、TP309单位代码:10422分类号;公开学号:201311310密级:化ANDONGUNIVERSITY硕±学位论文ThesisforMasterDegreeARX:论文题目?法基于M比P的差分线性:针对自动化沒索巧术与模减差分的SMT横型-BasedMILPAu化madeSearchAlgorithmsforDifferentialandLinearTra化化rARXCipherandSMTModelforAdditiveDifferential作者姓名竹化培养单位数学学巧专业名称

2、信患安全指导教师王美琴教授合作导师2016年5月24日’-分类号:TPSoq单位代码:10422密级:公学号:巧t、ft静SHANDONGUNIVERSITY硕±学位论文ThesisforMasterDegree论文题目:巧絲<寞^5猶敏今续巧!孙々推托霎¥贫橡诚^訓了橫巧心論W心曲WfivP鴻雌挪JUwTV化1;知似C坤MTA从SMTM如IWAto化咚竹蜘姑文作者姓名射沁培养单位爸;麥若瞭专业名称/(t盒冬曼指导教师至藥巧教始合作导师T年5月叫日

3、原创性声明,本人郑重声明:所呈交的学位论文,是本人在导师的指导下独立进行研究所取得的成果。除文中已经注明引用的内容外,本论文不包含任何其他个人或集体已经发表或撰写过的科研成果。对本文的研究作出重要贡献的个人和集体,均已在文中W明确方式标明。本声明的法律责任由本人承担。论文作者签名妇L日期:的各呼:种关于学位论文使用授权的声明本人完全了解山东大学有关保留、使用学位论文的规定,同意学校保留或向国家有关部口或机构送交论文的复印件和电子版,允许论文被查阅和借阅;本人授权山东大学可W将本学位论文的全部或部分内容编入有关数据库进行检索,可W采用

4、影印、缩印或其他复制手段保存论文和汇编本学位论文。保密论文在解密后应遵守此规定)(:旅期;訓占.护叫论文作者签名:竹新导师签名_日、山东大学硕±学位论文目录中文摘要I英摘要III一第胃引胃111§.1课题研究背景13§.2论文组织结构与研巧进展13§.2.1研究进展15§.2.2论文狙织结构第二章差分与线性路线的自动化捜索算法銜介92.1差分分析与线性分析9§§2.2差分特征的MILP模型11§2.3线性逼近的MILP模型12第H章基于MILP针对ARX加密算法差分特征的自动化搜索技术

5、巧巧巧.1模加操作的异或差分特征P16巧.2模加操作差分特征的MIL模型ARX加密M正P化巧.3算法差分特征的模型1.4小结9巧第四章基于MILP针对ARX加密算法线性逼近的自动化捜索技术21§4.1模加操作的线性逼近214M正P模型.2模加操作线性逼近的24§4MILP模型巧.3ARX加密算法线性逼近的§4.4小结26§-I-山东大学硕±学位论文e浊第五章对Sp算法的攻击27.1Seck巧p算法描述与安全性分析27巧丄1Sp说k算法描述275丄2Spe浊安全性分析巧§巧.2S

6、pe浊加密算法的差分特征与线性逼近29§5.2.1构建MILP模型295.2.2启发式拼接技术31§5.2.3实验结果32§S说k巧.3p算法的密锅恢复攻击34.4小结巧34第六章有关模减差分的SMT模型的讨论43第走章总结及未来工作47参考文献49麵53攻读学位期间完成的学术论文目录巧-II-山东大学硕女学位论文CONTENTSChineseAbstractIEnlishAbstract打IgChapter1Introduction11Backgroud§1.11

7、.2OranizationandContributions3§g§1.2.1Contributions31.2.2Oranization5§gChapter2Preliminary9么1TheDiferentialandLinearAttack9§2ModelforDfelChaacterscs11.2TheMILPirentiarii§2.3了heMILPModelforLinearApp

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。