一种抗高阶旁路攻击的LED密码算法

LED密码算法是2011年提出的超轻量级密码算法,主要是为资源受限下物联网加密应用研发的.轻量级密码算法结构相对简单,更容易被旁路攻击成功.随机掩码是一种有效抗旁路攻击的方法,在深入LED密码算法结构研究的基础上,提出一种全随机掩码的LED密码算法CMLED.论述了CMLED算法的设计方法,从形式化方面给出了抗高阶旁路攻击选择掩码的原则.同时,对全随机掩码的CMLED与原始算法进行了硬件资源占用与加密效率对比,实验表明CMLED仍然可以高效地在智能卡上实现.     

利用Dobbertin指数构造低差分均匀度函数

有限域上多项式型的低差分均匀度函数在分组密码的非线性组件S盒中有着重要的作用.为了增强S盒的混淆作用,应用在S盒中的函数应具有较高的非线性度和较高的代数次数.文章通过改变Dobbertin类的单项式函数在有限域F_(2n)的一个子域上的函数值,构造了两类新的多项式型的低差分均匀度函数,并确定了这两类多项式型函数的代数次数和第二类函数的非线性度.     

数论在信息安全中的应用举例

数论在信息安全中的应用是新课标选修系列3中“信息安全与密码”模块的基本内容之一,新课标明确要求“了解通讯安全的有关概念(如明文、密文、密钥)和通讯安全中的基本问题(如保密、数字签名、密钥管理、分配和共享);理解公钥体制(单向函数概念),以及加密和数字签名的方法(基于大数分解的RSA方案)”.全文将对RSA方案的相关原理和算法进行探讨,并提供一个模拟RSA方案加密、解密过程的实验方案.1密码学基本概念简介1.1密码体制定义1一个密码体制是满足下列条件的五元组(M,C,K,E,D);(1)M表示所有可能的明文组成的有限集,即明文空间.(2)C…     

步进的特征列算法及其在流密码分析中的应用

"吴特征列"算法是多元方程组求解的一种主要代数方法.讨论求解布尔多项式方程组特征列算法的改进算法.具体完成以下几方面工作:1)根据二阶有限域的特点,在已有工作的基础上提出布尔方程组求解的特征列算法的步进算法——SSTDCS,并且证明了该算法的正确性;2)用C语言在SzDD软件包上编程实现了该算法;3)把算法应用在流密码的代数分析中,对算法有效性进行检验,实验结果表明所给算法对大部分实例是有效与稳定的.     

基于单模数线性同余方程组设计的公钥密码体系

本文基于MH-KPKC体系和HILL密码体系的构建思想,提出了基于单模数线性同余方程组设计的公钥密码体系.该体制无需利用超递增序列和贪心算法恢复明文.算例说明了该体制的可行性。     

仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

一类模加差分方程系统解个数的期望与方差

模2~n加法是一个非常重要的密码运算部件,它已经被广泛用于各种对称密码算法的设计,如MD5、SNOW 3G、SPECK和ZUC等.差分故障攻击是针对密码算法实现的一种通用的安全性分析方法,该攻击假设攻击者能在算法运行过程中动态注入故障.在对采用模加运算的密码算法进行差分故障分析时,攻击者往往会导出一个模加差分方程系统,该方程系统中,方程的个数恰好等于法注入故障的次数,其与方程系统的解个数密切相关.由于注入故障次数和方程系统解个数是评估故障攻击复杂度的两个关键参数,因此,研究它们之间的关系非常有意义.本文讨论了上述模加差分方程系统中一类特殊方程系统(即模加差分相互独立且服从均匀分布)的解个数的统计特性.作为结果,本文给出了它们的期望和方差.本文的结果表明,对一般的模加差分方程系统,平均意义下,需要注入大约log_2(n)+5个故障可以确定方程系统的候选解.     

代数免疫度为1的布尔函数

布尔函数的代数免疫度是在流密码的代数攻击中所产生的重要概念.研究了代数免疫度为1的布尔函数,得到的主要结果有:对代数免疫度为1的布尔函数给出了一个谱刻画,给出了其个数的精确计数公式,最后给出了此类函数的非线性度的紧的上界.     

共形几何代数中的分阶幂零单项式的几何解释

本文进一步发展共形几何代数,从代数和几何两个角度对共形几何代数中由幂零向量生成的分阶单项式的代数性质和几何解释进行深入探讨,包括各种维数的球面和平面定向的代数刻画、长括号的三角学、角度和方向的幂零单项式分阶表示、幂零单项式各个分阶的几何意义等.这些结果有助于理解高层次符号代数运算背后的几何意义,以及共形几何代数简化符号几何计算的内在机制.     

单边单项式序下的SAGBI基

设K是一个域,R是具有SM-基B的一个K-代数,且是B上一个单边（即左或右）单项式序.那么关于交换多项式代数和非交换自由代数的子代数在双边单项式序下经典的SAGBI基理论可完整地推广到R的子代数上来.特别地,对于一类N-分次代数,存在计算有限n-截断SAGBI基的有效算法,并且第一次阐明了在单边单项式序下讨论SAGBI...