【摘 要】
：
基于MiniSAT2．0软件，研究对低轮PRESENT的代数攻击问题。提出将S盒表示为单项式个数较少的无冗余等效方程组的方法，将PRESENT的S盒表示为由14个单项式个数均≤6的8元布尔方程构
论文部分内容阅读
基于MiniSAT2．0软件，研究对低轮PRESENT的代数攻击问题。提出将S盒表示为单项式个数较少的无冗余等效方程组的方法，将PRESENT的S盒表示为由14个单项式个数均≤6的8元布尔方程构成的等效方程组，并基于不同的已知明文量，利用MiniSAT软件对PRESENT进行代数攻击实验，获得了较好的攻击效果。实验表明，在已知明文条件下可以在121h内求出80bit密钥的5轮PRESENT的全部密钥比特，在选择明文条件下可以在203h内求出6轮PRESENT的全部密钥比特。
其他文献
杜鹃花科杜鹃属植物是极受欢迎的观贤花卉,有些植物对治疗咳喘、气喘、咯血、肺痈、支气管炎诸症皆有较好的疗效。近几十年来,我国对杜鹃属植物的开发利用作了大量的工作。
随着我国科技水平的提高,自动化技术在各行业取得了广泛的应用,并发挥着重要的作用。电自动化技术提高了电气设备的运行稳定性和安全性,充分发挥智能化的优势。以电气自动化
为探讨花榈木幼苗对光照环境的生态适应性,采用人工模拟不同的光照条件(100%全光照、75%光照、50%光照、25%光照)进行盆栽试验,测定了不同光照条件下花榈木幼苗生理生化和生
目的寻找血清中单底物酶ｋｍ值测定实验的材料来源。方法分别测定人脐血清、人静脉血清（人血清）及羊血清中碱性磷酸酶的ｋｍ值，并通过统计学处理进行比较。结果显示：三种血清中酶的活性、
中药降血糖作用的药理研究近况广州市中医中药研究所（５１０１３０）潘竞锵，刘惠纯中医药治疗糖尿病的历史悠久，积累了丰富经验。许多方药和单味药亟待用现代科学的方法加以验证、提高。近十余
自体腹水回输是在无菌密闭系统中将自身腹水引出体外，通过一定装置将其中水、电解质、尿素氮等中小分子物质滤出，而蛋白质等大分子被保留浓缩，回输至人体内的过程。其作为自身白
智能建筑在当前建筑行业发展中占比越来越高,也是未来建筑物发展方向,为了较好提升智能建筑运行效果,着眼于各类先进技术手段予以充分运用极为必要,电气自动化技术在其中就可
高校勤工俭学工作是学生资助的主要内容之一,也是高校管理的重点工作和难点工作。在对勤工俭学综述的基础上,分析了勤工俭学的目的性,列举了勤工俭学的现状和存在的问题,并提
作为东南亚古国之一的泰国，在其宗教、文字、法典、文学及造型艺术的发展上无一不刻下印度、中国及欧洲的文化印迹。但是泰国的当代美术却早已挣脱传统美术被动模仿的束缚，更加
针对传统的SCPI解释方式占用过多内存,制约了在嵌入式系统上的应用,文中设计了一种方便移植和扩展的SCPI语言解析方法。该种方法用静态链表的结构来保存SCPI命令集,通过这种