窦家维
- 作品数：87 被引量：249H指数：9
- 供职机构：陕西师范大学更多>>
- 发文基金：国家自然科学基金博士科研启动基金辽宁省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术生物学电子电信更多>>
- 向量等分量数的两方保密计算及推广应用被引量：1
- 2020年
- 安全多方计算是近年来国际密码学界的研究热点.安全向量计算作为安全多方计算研究的重要内容,也是解决许多实际安全计算问题的基本工具.在科学研究中很多研究对象都可以用向量来刻画,并通过对这些向量进行各种计算从而得到所需结果,这也使安全向量计算在电子商务推荐、保密的分类、保密聚类等研究中得到了广泛应用.本文主要研究向量等分量数计算问题,即保密计算两个向量有多少个对应分量相等,这个问题的研究对于安全多方计算和隐私保护有重要的理论与实际意义.首先设计编码方法对保密向量进行编码,并结合具有加法同态性的Paillier加密方案,针对数据范围有限制和无限制两种不同情形分别设计了高效的保密计算协议,应用模拟范例严格证明了协议的安全性.作为向量等分量数保密计算协议的应用,进一步研究了向量等分量数阈值判定问题和向量优势统计问题的解决方案.并以所设计的协议为基础解决了多个点与区间(或集合)关系判定问题和字符串模式匹配等实际应用问题.复杂性分析和实验测试都表明本文协议是高效和实用的.
- 王颖囡窦家维葛雪
- 关键词：密码学安全多方计算
- 一类脉冲种群竞争模型的周期解及其稳定性
- 2008年
- 研究了在周期变化环境中具有Holling-Tanner型功能性反应的两种群竞争模型.模型由一个周期脉冲常微分方程组描述.利用不动点方法研究了系统的平凡及半平凡周期解的稳定性,获得了周期解为指数稳定的一组容易验证的充要条件,该方法可以推广到其他微分方程周期解的稳定性的研究中.
- 李泽妤窦家维宋国华
- 关键词：脉冲微分方程周期解
- 基于字符串排序的高效保密数据库查询被引量：5
- 2018年
- 安全多方计算是近年来国际密码学界研究的热点问题之一,是信息社会隐私保护的核心技术.保密地将字符串按照字典序排序问题是一个全新的安全多方计算问题,在信息安全领域有重要的实际意义和广泛的应用前景.它不仅可以提高保密数据库查询的效率,还可以解决大数据情况下的百万富翁问题.为了保密地判断两个字符串按照字典序排序的位置关系,首先设计了一种新的编码方法和一种基于ElGamal加密算法的云外包计算下的同态加密方案,在此基础上提出了一个高效、简单的协议,并对协议进行了正确性和安全性分析,同时给出了协议计算复杂性和通信复杂性的理论分析与实验验证.最后将保密的字符串排序问题协议应用于解决百万富翁问题,从根本上解决了大数据情况下的百万富翁问题.
- 李顺东亢佳杨晓艺窦家维
- 关键词：密码学安全多方计算同态加密
- 最小值问题的安全多方计算及其应用被引量：8
- 2017年
- 安全多方计算是国际密码学界近年来的研究热点.本文主要研究科学计算中最小值问题的安全多方计算,目前尚没有见到关于这个问题的解决方案.本文设计了一种新的编码方法,应用该编码方法和El Gamal乘法同态加密算法,并结合秘密分享以及门限密码体制,在半诚实模型下设计了三个能够抵抗合谋攻击的最小值安全多方计算方案,并应用模拟范例证明了方案的安全性.以最小值解决方案为基础还可以解决最大值安全计算以及并集的安全计算等科学计算问题.效率分析表明所设计的安全计算方案是高效的方案.
- 窦家维马丽李顺东
- 关键词：密码学安全多方计算同态加密秘密分享门限密码体制
- 具有B-D功能反应和时滞的周期脉冲害虫防治系统
- 2016年
- 研究一类在周期环境中具有 Beddington - DeAngelis 功能性反应以及食饵具有阶段结构和时滞的害虫生物防治问题。为控制害虫数量的增长，每个周期内以脉冲形式投放一定数量的天敌。应用脉冲时滞微分系统的相关理论和比较定理研究害虫灭绝周期解全局吸引性以及系统持续生存性等动力学行为。
- 张爱景窦家维
- 关键词：持续生存性
- 基于阈值的向量保密计算
- 2020年
- 向量保密计算已成为安全多方计算的重要研究课题.对于向量优势与向量等分量数这类问题,现有的相关计算协议大多都是在有全集限制的条件下,通过编码方法设计的.当数据范围较大较分散时,此类方法具有一定的局限性.本文针对向量中数据没有全集限制的情形,提出并研究向量优势阈值问题以及向量等分量数阈值问题的双方保密计算.通过灵活运用加密算法的同态性质以及明文空间的有关性质,结合问题转化以及加密选择等技巧,对于向量优势阈值问题设计了安全高效的保密计算协议.当设置阈值为向量维数时,本文协议可用于解决向量优势判定问题,且与已有协议相比具有更高的效率.在向量优势阈值协议的基础上,进一步构造向量等分量数阈值问题的计算协议,并通过严格分析证明了本文协议的正确性,应用模拟范例严格证明了协议的安全性.最后,对协议的效率进行了详细的分析比较,并通过实验验证了协议的实际可行性.
- 王颖囡窦家维葛雪
- 关键词：安全多方计算语义安全
- 有理数域上两方集合的高效保密计算被引量：10
- 2020年
- 安全多方计算已经成为密码学的一个重要研究方向,是国际密码学界的一个研究热点.集合运算可以用来描述许多实际问题,因此研究集合的保密计算问题具有重要的理论与实际意义.目前,关于整数集上集合问题的保密计算已有很多重要成果,但在有理数域上集合问题的保密计算尚未见到有关研究报道.本文主要研究有理数域上集合的两方保密计算问题.首先,提出一种新的转化思想,将任意有理数编码为直角坐标系中一条过原点的直线,并结合三角形面积计算公式,将有理数域上元素与集合关系问题转化为整数范围内向量内积问题,进一步结合Paillier加密方案设计了集合运算的保密计算协议.其次,设计了将平面上的有理点编码为有理数的新编码方案,在此基础上设计了判定有理点是否属于有理点集合的保密判定协议.最后,应用模拟范例证明了所设计协议在半诚实模型下是安全的,并通过理论分析和实验测试说明协议是高效的.
- 窦家维刘旭红王文丽
- 关键词：有理数同态加密
- 一类具有扩散的捕食与被捕食动力系统的研究被引量：1
- 2002年
- 对一类描述具有扩散的捕食与被捕食生态系统的偏微分方程组进行了研究 .该系统考虑了种群对于时间及空间的依赖性 ,当不考虑空间影响时 ,方程简化为一类具有功能性反应的Lotka_Volterra模型 .应用反应 扩散方程的单调方法和不变区域理论 ,证明了解是一致有界的 ,且所有解最终进入相空间中的一个固定区域 .
- 窦家维张万民
- 关键词：捕食与被捕食系统扩散一致有界平衡解种群动力学
- 保护隐私的曼哈顿距离计算及其推广应用被引量：9
- 2020年
- 安全多方计算是信息时代保护隐私和信息安全的一项关键技术.安全多方科学计算是安全多方计算十分重要的组成部分,目前已经有许多安全多方科学计算问题的解决方案,但还有更多的问题值得人们去研究.关于曼哈顿距离的安全多方计算问题目前研究的结果很少,构造曼哈顿距离的安全计算协议在密码学中有着重要的理论意义,作为基础协议能够广泛应用于其他安全多方计算协议的构造,比如保密计算两点间路径问题,保密判定点与区间以及点与点集的关系问题,以及向量相似度的保密计算都可以归约到曼哈顿距离的安全多方计算问题.本文应用加密选择技巧与一种新的编码方法相结合,以Paillier加密算法为基础,对于不同的情形(无全集限制或有全集限制)设计两数之差绝对值的高效保密计算协议.并以此为基础,设计出两种不同情形下保密计算曼哈顿距离的协议.本文证明了在半诚实模型下这些协议是安全的,并通过模拟实验来测试协议的具体执行时间,理论分析和仿真结果表明本文方案是简单易行的.最后,文中给出实例阐明本文协议在理论以及实际中的广泛应用.
- 窦家维葛雪王颖囡
- 关键词：安全多方计算密码学编码方法
- 具有连续迁徙的近远海渔业系统的优化收获策略被引量：1
- 2016年
- 研究一类同时具有比例收获和常量收获的近远海渔业系统的动力学行为和优化控制问题。在种群发展中近海鱼群和远海鱼群进行连续迁徙扩散,为了使得一个收获周期内有最大的经济净收益,应该研究制定合理的收获策略。利用Pontryagin极值原理和一些分析技巧,获得了最优收获策略,得到了收益的具体表达式。
- 赵莲窦家维郭海叶
- 关键词：最优收获策略
