陈振华
- 作品数：26 被引量：78H指数：6
- 供职机构：西安科技大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金信息安全国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基本初等函数的保密云计算服务协议被引量：1
- 2015年
- 目前云计算已经成为解决很多问题的一个有力平台,同时也带来了大量的安全隐患。其中,关于基本初等函数的保密计算是所有云计算的基础和核心。提出了所有基本初等函数的保密云计算服务协议,其基本思想是将原始数据做变换后,把计算复杂部分发给云平台,通过云计算将结果反馈给接受服务方,从而保密地计算相应函数。通过广泛接受的模拟范例证明了协议的安全性。协议中接受计算服务方可用很少的计算资源解决复杂的计算问题,保证了较低的计算复杂度和通信复杂度,因此提出的协议是有效可行的,可以成为云保密计算中的基础子协议。
- 刘新李顺东陈振华
- 关键词：云计算基本初等函数安全性
- 保密集合相交问题的高效计算被引量：12
- 2018年
- 安全多方计算作为网络空间安全的关键技术,是密码学的一个重要研究方向,是近年来国际密码学界研究的热点.科学计算是安全多方计算的一个重要分支.集合论是现代数学最重要的基础,许多数学分支都是以集合论为基础建立的.由于许多问题都可以抽象成集合问题,集合论及其数学思想被运用到越来越多的领域.因此保密的集合计算成为安全多方计算的一个重要方向.集合相交的保密计算是集合保密计算的一个重要问题,得到了广泛的关注.该问题在隐私保护方面有许多应用,如保密的数据挖掘、保密的数据外包、医疗敏感数据分析、个人财产数据及其他隐私数据的安全共享等.现有的关于集合相交保密计算的研究可以分为两个方面.一方面是研究有两个参与者且他们的集合都取自于一个无限大集合的情况.尽管该情况下研究者较多,但是该情况下的解决方案仅是计算性安全的而且存在计算效率较低的问题.另一方面是研究有多个参与者的情况,在这种情况下现有的解决方案比较少,且效率较低.该文针对在不同适用情况下集合相交存在的问题,设计了不同的解决方案.在有多个参与者的情况下,该文首先利用将集合表示成多项式的方法,设计了一个不需要借助密码学原语的、具有信息论安全的、计算复杂性低且通信效率高的安全多方交集计算方案.通过对该方案的改进,作者给出了另一个计算复杂性更低的方案,但该方案需要牺牲少量的通信效率.接下来,对于有两个参与者且参与者的集合取自于一个无限大集合的情况,该文利用单向散列函数的性质设计了一个高效的交集计算方案.此外,对于两个参与者的集合取自于一个有限集合子集的场合,该文利用离散对数困难性假设提出了高效的解决方案.同时,作者给出的解决方案经过简单改造可以用来保密地计算集合交
- 周素芳李顺东郭奕旻窦家维陈振华
- 关键词：密码学安全多方计算交集多项式最大公约数
- 一种高效的具有无条件安全可验证性的秘密共享方案被引量：1
- 2015年
- 当欺骗者的个数t≤(k-1)/3.时,给出一种新的可识别t个欺骗者的门限秘密共享方案.该方案采用单一密钥的强泛Hash函数充当消息验证码M AC,取得了无条件安全的可验证性;利用中国剩余定理取代传统的多项式进行秘密的分配和重构,降低了计算成本.在该方案中,由于所有参与者分享同一个MAC的密钥,而不是每人分配一个密钥,因此方案简单有效,并且份额大小不会随着参与者和欺骗者的增加而线性增长,节省了通信开销.最后的分析和比较显示,我们的方案在计算成本,通信量方面取得了较好的效率.
- 陈振华李顺东杨晓元刘新
- 关键词：秘密共享中国剩余定理RS码
- 矩阵奇异值和矩阵范数的保密计算服务协议
- 2015年
- 鉴于目前尚未研究矩阵奇异值和范数的保密计算,提出了矩阵奇异值和范数的保密计算服务协议,将矩阵作变换后,求出矩阵特征值,进而保密地求出矩阵奇异值和范数。通过广泛接受的模拟范例证明了协议的保密性。协议中接受计算服务的一方可用很少的计算资源解决复杂的计算问题,保证较低的计算复杂性和通信复杂性。
- 刘新李顺东陈振华王艳超
- 关键词：矩阵奇异值矩阵范数保密性
- 基于1-r编码的高效百万富翁问题协议及应用被引量：3
- 2019年
- 安全多方计算是近年来国际密码学的研究热点,已经成为密码学的一个重要研究方向.本文研究的百万富翁问题是安全多方计算最基本、最重要的问题,其本质就是保密比较两数据的大小问题.然而,目前已有的方案效率低下,影响实际应用,而且,大多数方案不能区分两数是否相等这种情况.针对这些问题,本文首先给出一种新的1-r编码方法,应用这种方法和给定的全序集合对保密数据进行编码,构造一个向量,使得保密数据与所编码的向量是一一对应的.基于此,本文把百万富翁问题转化为计算此向量中两个元素的乘积问题,通过乘积结果区分两个保密数据的大小,进而解决了原问题.此外,因为要保护双方的隐私,所以本文利用同态加密算法,设计了一个解决百万富翁问题的高效协议,并在半诚实模型下利用模拟范例的方法证明了协议的安全性.分析表明,相比已有的方案,本文的新方案不仅简单、高效,还能够更加细粒度地进行比较.最后,以新方案为基础,构造了一个具有验证机制的百万富翁协议,并应用协议1设计一个高效的保密查询数据在有序集合中排序的协议.
- 李占利陈立朝陈振华刘娅茹高彤
- 关键词：安全多方计算同态加密
- 矩阵相等和矩阵特征值的概率多方保密计算协议被引量：1
- 2015年
- 首先提出了利用哥德尔编码将矩阵与自然数建立一一对应关系,从而保密地判断两个矩阵是否相等;其次提出了一种保密计算矩阵特征值的安全协议。最后,利用模拟范例方法证明协议是安全的,并且两协议的计算复杂性和通信复杂性较低,在数据服务外包领域具有实用价值。
- 刘新李顺东陈振华徐彦蛟王艳超
- 关键词：矩阵特征值
- 基于双线性对的高效不经意传输协议被引量：4
- 2013年
- 不经意传输协议是密码学的基础工具,利用双线对设计不经意传输协议不仅可以扩展双线性对的应用范围,而且可以增加不经意传输的设计方法。因此,采用双线性对设计k-out-of-n的不经意传输协议。该协议能够保护接收者和发送者的隐私,同时抵抗冒名攻击、重放攻击以及中间人攻击,可用于不安全信道,协议在完成一次信息传输中仅需要发送方和接收方参与,不受其他方的干预,执行效率较高。
- 徐彦蛟李顺东陈振华
- 关键词：双线性对不经意传输隐私重放攻击
- 高效的可验证秘密共享方案
- 2014年
- 针对层次密钥管理问题,提出一个高效的可验证层次秘密共享方案。对参与者集合进行划分,每一部分作为一个隔间。隔间内部的参与者共享次主密钥,整个参与者集合(所有隔间的并集)共享主秘密。每个参与者都只须持有一个较短的秘密份额即可重构长度较大的主秘密。采用双变量单向函数实现可验证性,以防止不诚实参与者的欺诈行为,动态地添加参与者、调整门限值、更新秘密和共享。分析结果表明,该方案用于密钥的层次管理,具有较高的信息率和安全性。
- 吴春英李顺东陈振华
- 关键词：可验证性隔间
- 一种认证群密钥传输协议的安全分析与改进
- 2014年
- Yuan等人提出的基于秘密共享的认证群密钥传输协议(Applied Mathematics&Information Sciences,2013,No.5)存在用户信息易被反复利用、随机序列易被篡改等问题,通过拦截、修改用户与密钥生成中心(KGC)之间的传输数据,可成功进行中间人攻击。为此,利用RSA算法、Shamir(t,n)秘密共享和对称加密思想提出一个改进协议,对用户选取的随机数进行加密,并增加KGC对随机数的验证步骤,同时将对称加密引入到会话密钥认证过程中,实现保密传输与认证。安全性分析结果表明,改进协议能够增强群密钥的机密性和认证性,有效抵抗中间人攻击,同时保证了所有群成员共享密钥对的安全。
- 李吉亮李顺东陈振华
- 关键词：秘密共享密码分析中间人攻击机密性
- 安全多方计算中空间位置关系的保密判定被引量：1
- 2018年
- 保密判断空间位置关系属于安全多方计算中的几何问题,在军事、商业等领域有着广泛的应用前景.针对空间中位置关系问题,首先将该问题转化为平行四边形面积问题,接着设计了保密计算两向量张成的平行四边形面积协议,然后基于此协议解决了空间中三点共线和点线面位置关系的保密判定问题,最后,利用模拟范例证明了协议的安全性.分析和比较显示：与已有的方案相比,本文的方案避免了多个基础协议的调用,不但提高了效率,而且适用范围更加广泛.此外,由于我们的方案没有使用任何公钥加密算法,因此达到了信息论安全.
- 李占利刘娅茹陈振华陈立朝
- 关键词：安全多方计算平行四边形面积
