随机数发生器的安全性证明技术研究

《随机数发生器的安全性证明技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、⑧论文作者签名：重叁垒盐指导教师签名：[燃万方数据论文评阅人1：评阅人2：评阅人3：评阅人4．评阅人5：答辩委员会主席：委员1：委员2：委员3：委员4．委员5：万方数据Author’Ssignature：一‘●‘Supervlsor7Ssignature：ExtemalReviewers：ExaminingCommitteeChairperson：ExaminingCommitteeMembers：Dateoforaldefence：万方数据浙江大学研究生学位论文独创性声明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以

2、标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得浙婆太堂或其他教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。学位论文作者签名：张名多批签字日期：b孵年∥月／／日学位论文版权使用授权书本学位论文作者完全了解浙江太堂有权保留并向国家有关部门或机构送交本论文的复印件和磁盘，允许论文被查阅和借阅。本人授权浙江太堂可以将学位论文的全部或部分内容编入有关数据库进行检索和传播，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(保密的学位论文在解密后适用本授权书)学位论文作

3、者签名：绌伟船签字日期：b』妒年‘月／1日、导师签名：l签字日期：瑚妒年厂月／／日万方数据浙江大学硕士学位论文致谢时光飞逝，岁月如梭，转眼间就要告别两年半的研究生生活，非常感谢老师、学长和同学们对我的关心、鼓励、帮助和指导，让我度过了一个充实的研究生生活，不仅在学业上取得了一定的进步，更在为人处世方面帮助我成长，能让我对进入社会进入职场做好准备。在此我要特别感谢我的导师沈海斌教授，是他在这两年半的时光里在学业上，在生活上都给了我很多指导和帮助，特别是在我找工作的时期，对我的鼓励让我受益匪浅。沈教授治学严谨、学识渊博、工作一丝不苟，是我学习的榜样，激励着我不断的进

4、步和发展。与此同时，沈教授更关心我未来的人生发展，让我对自己未来的人生发展和职业规划有了更清晰更正确的认识。同时，十分感谢严晓浪教授、何乐年教授、吴晓波教授、罗小华老师、王维维老师、史铮老师、虞小鹏老师、赵梦恋老师等超大规模集成电路设计研究所的老师在学业和科研期间对我的关心和帮助，能在这样一个一流的环境中学习和工作，我感到非常的荣幸。同时也非常感谢陈曦、卞桂龙、杨海、谢表铭、解志超、陶泳任等同学陪我度过了两年半的研究生生涯，大家一起学习、谈论、运动是我感到生活的充实，非常感谢陶钧、杨波在毕设上对我的指导和帮助。非常感谢庞博、杨胜凯、陈超等师兄在工作上学习上对我的

5、关心和帮助。最后，我特别要感谢我的家人对我的鼓励和支持，是家人的鼓励和支持我才能走到这里。最后再次感谢各位老师和同学对我的无私帮助。谨以此文献给所有关心我、爱我的你们!张伟林2014年4月万方数据浙江大学硕士学位论文摘要从1965年4月摩尔在《电子学》杂志上的一篇文章中提出摩尔定律的半个多世纪以来，半导体发展迅速。集成电路已经应用到各个领域，无处不在，手机、电脑等数字产品深入每个人的生活，成为人们生活不可或缺的产品。因此集成电路的安全性越来越受到重视。随着集成电路技术的不断发展，为了适应市场，降低电路的设计成本和研发周期，SoC开发已经成为集成电路的设计主流。I

6、P库是SoC设计的重要组成部分，在使用第三方口库的时候安全性也成为了一个突出的问题。集成电路的设计和制造分离，工厂迁往劳动力成本低的地区，不少设计也外包给了其他设计公司，在集成电路的设计过程中会使用到各种不同公司提供的电子设计自动化软件，因此现在的半导体芯片在设计过程中变得比以前更容易受到恶意篡改。针对这个问题本文呆用Coq来进行电路的安全性证明(等价安全性oCoq是一种定理证明软件，适合于定理的正确性验证。本文先用Coq构建随机数发生器后处理算法的RTL代码的模型，然后将电路的RTL代码用这个模型转换成Coq语言。为了验证RTL代码是否包含硬件木马或者被人为的

7、恶意篡改，采用Coq来验证RTL代码是否与设计时一致，以此来确定芯片的安全性。随着集成电路的发展，现在密码领域的很多算法都在SoC系统中实现。Coq不仅可以用于RTL代码级的等价安全性证明，同样也可以用于密码SoC架构的等价安全性证明；结合随机预言模型，本文为另一种电路的安全性证明(计算安全性)做了理论阐述，为下一步的工作打下了一个理论基础。关键词：RTL，Coq，安全性证明，硬件木马，恶意篡改万方数据浙江大学硕士学位论文AbstractInApril1965，MooremadeMoore’SLawinallarticleinthemagazineof”e-le

8、arning”，thei