【摘 要】
：
KeeLoq算法是20世纪80年代设计的分组密码算法,采用了广义的Feistel结构,分组长度为32比特,密钥长度为64比特,它的核心组件是含有5个变量的非线性函数.在FDTC2009上,Paar等人
【机 构】
：
国防科技大学理学院数学与系统科学系长沙410073国防科技大学理学院数学与系统科学系长沙410073;中科院软件所信息安全国家重点实验室北京100190
论文部分内容阅读
KeeLoq算法是20世纪80年代设计的分组密码算法,采用了广义的Feistel结构,分组长度为32比特,密钥长度为64比特,它的核心组件是含有5个变量的非线性函数.在FDTC2009上,Paar等人在特邀报告中对KeeLoq算法的侧信道攻击做了总结.他们指出,KeeLoq算法主要是运行在低能耗的微处理器平台上,因此在加密过程中导入错误是可以实现的(例如通过电压突变),但还没有针对KeeLoq算法的故障攻击.事实上在2008年中国密码年会上,李琳等人第一次用差分故障攻击的方法攻击了KeeLoq算法,采用面向比特的差分故障攻击方法,在选择明文的基础上,恢复1比特密钥信息平均需要11个错误.本文采用面向字节的差分故障攻击方法，利用KeeLoq算法的两个性质，分别在第505，513和521轮的三个不同轮输入上导入随机字节错误，并记录相应的错误密文.比较正确密文和错误密文，检测出有效的故障诱导.对于有效的故障诱导，利用正确密文和错误密文的差分和KeeLoq算法的性质，恢复出轮密钥.
其他文献
气泡表面曲率变形是影响气泡运动特性的关键因素之一.本文利用高速摄像机拍摄静水中单个气泡的上升运动过程,运用图像测量方法获取气泡沿程瞬时形状、速度等数据信息,系统地
本文根据20世纪海冰监测资料和2005 ～ 2009年连续5个冬季的海冰监测资料以及相邻海域的海冰监测资料,分析研究了该海域海冰的基本特征和变化规律.给出了该海域的冰日、冰期、
本文主要介绍黑龙江红旗泡水库天然淡水冰的弯曲力学性质试验研究方法.对所取水库冰样进行垂直切片,把切片样本置于费式旋转台上,在正交偏光镜下拍摄照片,分析冰晶体类型随垂
冰的摩擦系数是冰荷载计算中的一个重要参量,本文以红旗泡水库天然淡水冰为材料,分别对冰与冰、雪、混凝土板及木板之间的摩擦系数进行了测定,并把冰与混凝土板和冰与木板间
绿道近年来一直是众多学科的研究热点和前沿,但检索文献发现,国内对绿道规划设计方法的研究极为缺乏.基于最新研究成果,对绿道规划思想的起源和发展进行梳理,就规划目标和国
开展了水库冰盖在胀压力作用下极限破坏的模拟试验研究.试件采用S1型湖冰制作,具有相同的截面尺寸(25mm×50mm)和不同的长度(100mm、360mm、500mm).对29根试件进行了常应变率
地震洪水等引发的地质灾害给人民群众生命财产安全带来巨大损失,也给城市规划工作者带来诸多思考,即对于城镇的发展和规划如何同当地的地质情况相结合.本文主要分析了地质灾
本文通过实验室试验,详细探讨了空气、冰与水的电阻值随温度变化的特性,提出通过电阻值来区别冰层厚度、冰水混合层范围与冰下水位的检测思路.基于这一想法,研制了电阻式河道
随着城市化进程推进,城市问题日益严峻,同时全球范围的粮食危机迫使农业突破现有方式,进行新的探索.在这样的背景下,垂直农业进入人们的视野.垂直农业分为垂直农场和表皮农业
最近,Shin等人提出了一个高效的基于口令的匿名认证和密钥建立协议,命名为VEAP协议.很遗憾,发现该协议对于一个内部攻击是不安全的,即任何一个合法用户都可以得到其它用户与