国家自然科学基金(61072140)
- 作品数：9 被引量：12H指数：2
- 相关作者：马文平孙昌霞陈和风杨元原刘维博更多>>
- 相关机构：西安电子科技大学河南农业大学泰山学院更多>>
- 发文基金：国家自然科学基金高等学校学科创新引智计划国家教育部博士点基金更多>>
- 相关领域：电子电信自动化与计算机技术理学更多>>
- 二次完备非线性函数的构造
- 2012年
- 完备非线性函数能很好地抵抗差分密码分析,在密码和通信领域中有重要应用.构造了一族代数次数为二次的完备非线性函数,该函数为具有四项的Dembowski-Ostrom多项式.证明了新构造的完备非线性函数不但EA-不等价于已知的完备非线性方幂函数,而且也不等价于所有已知的完备非线性函数.
- 何业锋
- 关键词：密码学差分密码分析
- 一簇新的低相关二元序列
- 2012年
- 低相关二元序列的应用领域非常广泛,在扩频通信、码分多址通信、全球定位系统和密码学中都有重要应用.应用m序列和其采样序列,构造了周期为2n-1的一簇新的二元序列,其中n为偶数.新的二元序列集的最大相关值为-1+2n/2+2n/2+1,并且它包含的二元序列的个数为2n/2+23n+2.该序列集包含了2个具有最优相关性的序列子集,其中之一为小集合的Kasami序列.提出的具有较多序列数目的低相关二元序列集可以用于码分多址通信系统.
- 何业锋
- 基于Bell态的三方量子密钥协商被引量：3
- 2013年
- 提出了基于两粒子纠缠态的一个三方量子密钥协商协议.方案中的三个参与者是完全对等的,且对建立的共享密钥具有相同的贡献.除此之外,三方中的任何一方或两方都不能事先单独决定共享密钥.安全分析表明本协议既能抵抗外部窃听者的攻击,又能抵抗内部参与者攻击.
- 尹逊汝马文平申冬苏王丽丽
- 关键词：量子密码学BELL态
- 可证明安全的基于属性的多授权中心签名方案
- 2011年
- 基于属性的密码体制中用户的多个属性由一个授权中心管理,这将会增大其工作负担,降低工作效率.本文设计了一个可证明安全的多授权中心的签名方案,将用户的多个属性由不同的授权中心分别管理,属性参数在全域范围选择.采用归约安全证明的研究方法证明此方案的安全性归约为计算Diffie-Hellman难题,方案具有存在性不可伪造和抗合谋攻击的特性.
- 孙昌霞马文平陈和风
- 关键词：合谋攻击
- 模型检测中可变攻击者模型的构造被引量：2
- 2011年
- 提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.
- 杨元原马文平刘维博
- 关键词：安全协议代数运算重写规则
- 带有异或运算安全协议的自动化检测被引量：1
- 2012年
- 针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.
- 杨元原马文平刘维博俞优顾健
- 关键词：安全协议形式化分析代数性质
- 可证明安全的无中心授权的多授权属性签名被引量：4
- 2012年
- 设计了无需中心授权机构的多授权签名方案,将用户的多个属性由不同的授权机构分别管理。与往常的多授权机构密码体制不同,不需要一个可信的中心授权机构来管理和约束多个授权机构,而是可信授权机构的数量达到一定值就能保证整个系统的安全性,提高了系统的实用性。采用归约的可安全证明方法证明该方案的安全性归约为计算Diffie-Hellman难题、分布式密钥生成协议(DKG)和联合的零秘密共享协议(JZSS)的安全性,从而说明该方案有存在性、不可伪造和抗合谋攻击的安全特性。
- 孙昌霞马文平陈和风
- 关键词：合谋攻击
