陕西省教育厅科研计划项目(2010JK825)
- 作品数：4 被引量：1H指数：1
- 相关作者：何业锋马文平杨元原刘维博侯红霞更多>>
- 相关机构：西安邮电大学西安电子科技大学西安邮电学院更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 二次完备非线性函数的构造
- 2012年
- 完备非线性函数能很好地抵抗差分密码分析,在密码和通信领域中有重要应用.构造了一族代数次数为二次的完备非线性函数,该函数为具有四项的Dembowski-Ostrom多项式.证明了新构造的完备非线性函数不但EA-不等价于已知的完备非线性方幂函数,而且也不等价于所有已知的完备非线性函数.
- 何业锋
- 关键词：密码学差分密码分析
- 一簇新的低相关二元序列
- 2012年
- 低相关二元序列的应用领域非常广泛,在扩频通信、码分多址通信、全球定位系统和密码学中都有重要应用.应用m序列和其采样序列,构造了周期为2n-1的一簇新的二元序列,其中n为偶数.新的二元序列集的最大相关值为-1+2n/2+2n/2+1,并且它包含的二元序列的个数为2n/2+23n+2.该序列集包含了2个具有最优相关性的序列子集,其中之一为小集合的Kasami序列.提出的具有较多序列数目的低相关二元序列集可以用于码分多址通信系统.
- 何业锋
- 强指定验证者的无证书变色龙数字签名方案
- 2012年
- 基于无证书密码体制,构造了一个无证书变色龙哈希函数,解决了基于身份的变色龙哈希存在的密钥托管问题,使除了指定验证者之外的其他任何人都无法计算出变色龙哈希碰撞。在此基础上,进一步实现了无证书变色龙签名。在签名验证过程中,保证只有签名者指定的验证者才能验证签名的有效性。新方案简单高效,在随机预言模型下是安全的。
- 侯红霞何业锋
- 关键词：无证书密码体制指定验证者
- 带有异或运算安全协议的自动化检测被引量：1
- 2012年
- 针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.
- 杨元原马文平刘维博俞优顾健
- 关键词：安全协议形式化分析代数性质
