国家教育部博士点基金(20100203110003)
- 作品数：11 被引量：22H指数：3
- 相关作者：马文平杨元原刘维博张成丽陈和风更多>>
- 相关机构：西安电子科技大学泰山学院公安部第三研究所更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金高等学校学科创新引智计划更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 基于短整数解问题的伪随机函数新构造被引量：1
- 2014年
- 伪随机函数是构造密码原型的重要工具。基于短整数解问题,在格上设计出2个伪随机函数,第一个利用树状伪随机综合器的思想,达到并行化效果,第二个虽是串行构造,但降低了公钥尺寸。二者均具有小模数,而且是可证明安全的。与A Banerjer,C Peikert和A Rosen 3人提出的方案(EUROCRYPT 2012)相比,此提出的伪随机函数具有渐少的密钥量;在构造方法上,由于避免了凑整技术的使用,伪随机函数的生成效率得到了提高。
- 陈和风马文平高胜张成丽
- 关键词：伪随机函数
- 缺损函数簇的新构造
- 2017年
- 缺损陷门函数簇是一个重要的密码原型,可应用于抗碰撞杂凑函数、选择密文安全的加密方案和不经意传输等密码原型的黑盒构造.现有方法大多基于数论中的困难假设实现,基于理想格上小主理想问题和最近向量问题的困难假设,设计一个具有加同态性质的加密方案,在此基础上结合纠错码,针对Micciancio和Peikert在CRYPTO 2013上提出的缺损函数簇的推广定义,给出一个新的构造方法,得到均匀输入分布下不可区分的不可逆陷门函数簇和抗第二原像损耗函数簇,其函数索引仅用一个矩阵表示,具有较短的长度,这有利于构造高效的密码方案,也表明理论上的可行性.
- 陈和风马文平张成丽
- 关键词：同态加密纠错码
- 两方量子密钥协商协议的改进被引量：3
- 2015年
- 针对Hsueh和Chen的基于最大纠缠态两方量子密钥协商协议存在安全漏洞,即发送方可单方控制共享密钥的问题,通过增加接收方的幺正操作给出了一个改进方案.利用幺正操作来代替对发送方的安全检测,这从根本上满足了量子密钥协商中各参与者都贡献于共享密钥的生成和分配这一基本要求,从而使其抗发送方攻击的安全性依赖于基本物理原理而非检测光子技术.安全分析表明,该方案可有效抵抗外部攻击和参与者攻击.与另一改进方案相比,该方案以更小的代价解决了原协议的漏洞,提高了协议效率.
- 申冬苏马文平尹逊汝王丽丽
- 关键词：量子通信最大纠缠态量子密码
- 一种新型基于环上带误差学习问题的认证密钥交换方案被引量：5
- 2015年
- 利用格上判定带误差学习问题(Ring-DLWE)困难假设,该文基于Peikert的调和技术构造认证密钥交换方案。在标准模型下,该方案是CK模型中可证明安全的,并达到弱前向安全性(w PFS)。与现有的基于LWE的密钥交换方案相比,该方案使用平衡的密钥提取函数,因而保护共享会话密钥,同时因其基于格中困难问题,所以能抵抗量子攻击。
- 杨孝鹏马文平张成丽
- 关键词：密码学
- 有效的多协议攻击自动化检测系统被引量：2
- 2012年
- 针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。
- 杨元原马文平刘维博张笑笑
- 关键词：形式化分析重写规则
- 一种可检测类型缺陷攻击的SAT改进模型被引量：1
- 2011年
- 针对现有SAT模型检测器不能检测类型缺陷攻击的问题,提出了一种新的SAT#改进模型.该模型通过在匹配模式下引入无类型变量,并利用无类型消息的概念,解除了SAT模型检测器对未知消息的类型限制,并且在诚实主体重写规则中用无类型消息替换了原来的强类型限制消息.通过增加消息匹配算法,使诚实主体能够接受带有类型缺陷的消息,从而实现类型缺陷攻击的检测.通过对Otway-Rees协议进行检测,不仅发现了已有的针对发起者A的类型缺陷攻击,而且发现了新的针对响应者B的类型缺陷攻击,其实验结果证明了SAT#模型具有一定的可靠性.
- 杨元原马文平刘维博白晓峰
- 关键词：安全协议形式化分析重写规则
- 基于Bell态的三方量子密钥协商被引量：3
- 2013年
- 提出了基于两粒子纠缠态的一个三方量子密钥协商协议.方案中的三个参与者是完全对等的,且对建立的共享密钥具有相同的贡献.除此之外,三方中的任何一方或两方都不能事先单独决定共享密钥.安全分析表明本协议既能抵抗外部窃听者的攻击,又能抵抗内部参与者攻击.
- 尹逊汝马文平申冬苏王丽丽
- 关键词：量子密码学BELL态
- 改进的多变量哈希函数被引量：2
- 2013年
- 针对基于MI算法提出的一种多变量哈希函数进行研究,对该算法的安全性进行分析,找到其破解方法,并在此基础上对该算法进行改进。改进算法在保持了原有算法的所有优点的基础上对这种碰撞攻击免疫。还对该改进算法进行了原像攻击、第二原像攻击、差分攻击和代数攻击方面的安全性分析。同时建立数学模型,并通过实验测试了该改进算法的雪崩效应及其稳定性。实验结果表明,该算法满足严格雪崩效应原则,具有理想的、稳定的雪崩效应。
- 邹又姣马文平冉占军陈和风
- 关键词：多变量哈希函数雪崩效应
- 模型检测中可变攻击者模型的构造被引量：2
- 2011年
- 提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.
- 杨元原马文平刘维博
- 关键词：安全协议代数运算重写规则
- 带有异或运算安全协议的自动化检测被引量：1
- 2012年
- 针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.
- 杨元原马文平刘维博俞优顾健
- 关键词：安全协议形式化分析代数性质
