GF2m上ECC的BitSlice实现

BitSlice是加速分组密码软件实现的一种有效手段,文章将BitSlice技术引入到GF2m上的椭圆曲线密码中,给出了有限域运算和椭圆曲线运算的BitSlice实现和复杂度分 析,实验结果表明,采用BitSlice方式实现的椭圆曲线点乘运算比传统方式实现的效率提升了17%左右。     

一些新的APN函数的构造

几乎完全非线性函数（almost perfect nonlinear）在密码学和通信领域中具有一定的应用价值。文章构造了几个形式为F（x）＋f（x）（F（x）是APN函数或PN函数）的APN（或PN）函数和几个与Gold函数EA不等价的APN函数。     

Kasumi算法FI函数的差分上界分析

差分分析是目前攻击分组密码十分有效的方法之一。证明了FI函数的平均差分概率上界值,重点分析了FI函数在各种变形下的平均差分概率上界。结果表明：对于FI函数这种结构,采用奇数维S盒可使得平均差分概率上界达到22-n。     

标准模型中基于身份的多PKG签密方案

在随机预言模型中,现有的基于身份签密的多私钥生成器(PKG)方案都是可证明安全的。基于此,提出在标准模型中基于身份的多PKG签密方案,并证明其安全性。在DBDH假设下,方案的机密性满足在适应性选择密文攻击时,密文不可区分。在CDH假设下,方案的不可伪造性满足在适应性选择消息攻击时,签名存在性不可伪造。和已有方案相比,该方案在签密阶段效率较高。     

新的标准模型下基于身份的代理签名方案

代理签名是原始签名者将其签名能力授权给代理签名者,从而代理签名者可以代表原始签名者对指定的消息进行签名.提出了一种新的基于身份的代理签名方案,并在标准模型下证明了方案是适应性选择消息和身份攻击下签名存在性不可伪造的,其安全性基于CDH假设是困难的.与现有标准模型下基于身份的代理签名方案相比,新方案的执行效率更高.     

Hash差分攻击算法研究

Hash函数广泛应用于商业.军事等领域,因此对Hash算法的攻击在理论上和实际应用上都有重要的意义.自王小云教授提出差分攻击算法并攻破SHA-1,MD5,RIPEMD,MD4以来,对该算法的研究日益受到关注.然而王教授没有给出如何寻找差分和差分路径的方法.国内外专家都猜测她是靠非凡的直觉手工完成的,如何寻找差分和差分路径的方法成为关注的热点.构造差分路径涉及到如何处理差分循环移位和选择高概率的充分条件.业已证明,一般情况下,差分位移后有4种情况,并给出了4种情况的概率,最后比较了4种情况的概率.     

攻击图的两种形式化分析

攻击图是一种基于模型的网络脆弱性分析技术,可以自动分析目标网络内脆弱性之间的关系和由此产生的潜在威胁.攻击图主要有状态攻击图和属性攻击图两类.前者由于存在状态爆炸问题不适应于大规模网络,目前主要的研究大多是基于后者.基于属性攻击图研究了含圈攻击路径问题和最优弥补集问题.针对含圈攻击路径问题,定义了反映真实攻击想定的n-有效攻击路径,提出了一种计算关键属性集所有n-有效攻击路径的迭代算法;针对最优弥补集问题,在定义了所有的风险源为属性攻击图的初始属性的基础上,将该问题转化为带权重的集合覆盖问题,从而归结为NP完全性问题,提出了可应用于大规模攻击图的具有多项式时间复杂度的近似算法.     

σ-AND随机数生成器

提出了一种结构简单、实现快速且周期为2k-1的随机数生成器:σ-AND随机数生成器,其中k为32的倍数.σ-AND随机数生成器用极少的异或、循环移位、与等计算机基本指令即可实现,软硬件实现效率高.同时其输出序列具有良好的伪随机性,可以作为适合软件快速实现的序列密码的驱动部分使用.     

基于SIMD技术的σ LFSR*

σ线性反馈移位寄存器(σLFSR)是一类适合软件快速实现的新型反馈移位寄存器。结合第二代单指令多数据流扩展指令集SSE2,设计了一类基于SIMD技术的σLFSR。这类σLFSR充分利用SSE2提供的128 bit整数数据结构及其操作,获得了非常高的软件实现效率,同时其输出序列达到了最大周期并具有良好的随机性。所得结论表明这类基于SIMD技术的σLFSR可以作为适合软件实现的高速序列密码驱动部分。