郑志华 作品数:20 被引量:74 H指数:5 供职机构: 山东大学 更多>> 发文基金: 国家自然科学基金 山东省自然科学基金 中国博士后科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 农业科学 轻工技术与工程 更多>>
一个高效安全三方带通配符模式匹配协议 被引量:1 2018年 安全多方计算(secure multiparty computation,SMPC)是实现分布式计算安全的重要技术,其主要考虑在多个相互独立的实体之间协同完成某项任务的计算,同时要实现输入信息的隐私保护.模式匹配在信息检索、生物工程、人脸识别等领域有着广泛应用,在实现匹配功能的同时保证查询模式及结果的隐私是当下研究的重点.带通配符模式匹配是模式匹配的一种类型,其允许查询模式中可以存在某些通配符信息,因此能够实现某一类信息的批量查询.传统的安全带通配符模式匹配协议中主要涉及数据库方和查询方2个实体,鉴于当下数据共享技术的发展,这种模型难以刻画更多的应用场景.以实际应用出发,首次在三方场景下研究安全带通配符模式匹配协议的构造.首先考虑一个具体的安全三方带通配符模式匹配功能函数,并给出其形式化描述和功能性分析;然后,基于秘密分享(secret sharing)和外包茫然传输协议(outsourced oblivious transfer,OOT)在半诚实敌手模型下给出协议构造,并通过茫然传输扩展(oblivious transfer extension)技术提高协议效率,协议仅需要3轮交互,且计算和通信复杂度为O(k)和O(nm),其中n和m是2个数据提供方的输入长度,k是实现OT扩展协议的基数,其值远小于nm. 魏晓超 郑志华 王皓关键词:安全多方计算 秘密分享 格密码技术近期研究进展 被引量:9 2017年 格理论最初是作为一种密码分析工具被引入到密码学中的,用于分析背包密码体制、RSA密码体制等.在1997年,Ajtai和Dwork第一次构造了一个基于格的密码体制Ajtai-Dwork,随后在1998年出现了NTRU密码体制.当时基于整数分解及离散对数的公钥密码体制是主流,格密码一直没有得到足够的重视.直到2009年,Gentry基于格密码构造了首个全同态密码方案,格密码才得到了广泛的发展.2015年,Peikert在"格密码十年"一文中,对之前格密码的发展做了一个很好的总结.同在2015年,美国国家标准和技术研究院(National Institute of Standards and Technology,NIST)发布了"后量子密码报告",报告指出:由于量子计算技术的飞速发展,现有的公钥密码标准在量子计算下将不再安全.同时NIST在全球范围内展开了后量子密码算法标准的征集工作.格密码作为一类经典的抗量子密码,公认是后量子密码算法标准最有力的竞争者,近2年得到了飞速的发展,出现了许多优秀的研究成果.从基于格的零知识证明、格加密、格签名以及格密钥交换4个方面,对近2年格密码研究进行了总结,并对格密码的发展趋势进行了展望. 张平原 蒋瀚 蔡杰 蔡杰 郑志华 郑志华几种典型的认证Diffie-Hellman型密码共识协议的分析与比较 被引量:8 2001年 文章讨论了几个目前较为受人关注的基于Diffie-Hellman问题的认证密钥共识协议,介绍了各协议的主要内容,对其在各种背景下的优缺点,包括有效性、安全性、方便性等进行了分析、评述和论证,并对它们进行了简单的比较。 孔晖 徐秋亮 郑志华关键词:密码学 通信协议 一个高效的安全两方近似模式匹配协议 被引量:1 2022年 近似模式匹配是模式匹配中最适合实际应用的变体之一,其功能是确定2个字符串之间的汉明距离是否小于某给定阈值.由于其实用性,近似模式匹配在人脸识别、基因匹配等方面具有广泛的应用.然而,由于私有数据的敏感性,数据拥有者往往不愿意共享其隐私数据.幸运的是,安全近似模式匹配可以在不泄露数据前提下完成匹配功能.首次基于茫然传输(oblivious transfer,OT)、同态加密(homomorphic encryption,HE)、茫然多项式计算(oblivious polynomial evaluation,OPE)以及隐私等值比较(private equality test,PEQT)技术提出了安全的、实用的近似模式匹配协议,并通过理想现实模拟范式证明协议具有半诚实敌手安全性.就效率而言,与当前已有的安全近似模式匹配工作相比,协议在计算复杂度方面具有优势,将复杂度从O(nm)降为O(nτ),其中n为文本长度,m为模式长度,τ为给定阈值.最后,为了检验高效性,对协议进行了性能评估.实验结果表明:当模式长度为2^(6)且文本长度为2^(12)时,协议仅需要10 s运行时间. 徐琳 魏晓超 蔡国鹏 王皓 郑志华关键词:同态加密 强健有效的门限RSA数字签名方案 该文通过引入用于鉴别“部分签名”真伪的附加参数,构造了一个可阻止合法份额持有者恶意提供非法部分签名以干扰签名过程的(t,l)-门限RSA数字签名方案,并讨论了该方案的有效性及安全性。 徐秋亮 郑志华关键词:门限方案 数字签名 文献传递 安全的常数轮多用户k-均值聚类计算协议 被引量:1 2020年 在多数聚类计算的实际应用中,样本数据通常来自于不同的用户,聚类算法往往需要在用户的联合数据集上进行计算.而出于隐私保护的目的,用户并不希望与其他参与方共享其私有数据.因此,如何以隐私保护的方式实现多用户的聚类计算便得到了人们的广泛关注.针对多用户持有数据的场景,研究了k-均值(k-means)聚类算法的安全计算问题,设计了常数轮交互的多用户k-means聚类安全计算协议.在该协议中,用户使用加法同态加密方案对样本数据加密并上传至独立的辅助计算服务器.服务器通过与持有私钥的聚类计算方交互,实现了乘法和欧氏距离的安全计算.此外,基于ABY混合协议框架设计了针对同态密文的最小元素标记协议和除法协议.协议通过常数轮交互,实现了同态密文、算术分享份额、Yao分享份额之间的相互转换,并利用Yao混乱电路技术实现了对同态密文的最小元素标记以及除法运算,该过程无需使用昂贵的比特分解技术.在半诚实模型下给出了主协议及所有子协议的安全性证明. 秦红 王皓 魏晓超 郑志华关键词:隐私保护 K-均值聚类 同态加密 秘密分享 基于身份的指定验证人的门限代理签名方案 被引量:2 2007年 在基于身份的公钥密码体制下实现了一个指定验证者的门限代理签名方案,该方案的实现基于双线性对。虽然人们对如何提高双线性对的执行效率方面取得了大量的研究成果,但是双线性对运算仍然是基于身份密码机制中最耗时的运算,该方案减少了双线性对的运算需求,从而提高了效率。另外还对此方案进行了相应的安全性分析及安全性证明。 徐丽娟 徐秋亮 郑志华关键词:双线性对 门限代理签名 一个安全有效的多重数字签名方案 被引量:6 2003年 文章基于离散对数问题提出一个多重数字签名方案,其安全性类似于ElGamal签名体制,因而较为肯定,其验证计算量与参与签名的人数无关,保证了有效性。 郑志华 徐秋亮关键词:多重数字签名方案 离散对数 信息安全 密码学 满足可计算序贯均衡的理性公平计算 被引量:5 2014年 在安全多方计算中,公平性指的是被腐败的参与者可以得到他们的输出当且仅当诚实参与者得到他们的输出.当恶意者超过参与者数量一半时,公平性很难达到.因此在设计两方计算协议时,公平性经常被忽略.在传统多方计算中,包括总是遵守协议的诚实参与者,虽然遵守协议但是希望通过保留中间结果得到对方私有信息的半诚实参与者和任意偏离协议的恶意参与者.理性参与者不同于上述参与者,他们的主要目标是最大化他们的收益.理性计算是指带有理性参与者的计算,它开辟了实现两方安全计算中公平性的新思路.考虑了理性安全计算允许理性参与者具有不对称的信息的情况,例如效用函数和参与者的私有类型,这是与之前理性计算的不同之处.针对这种不同,提出了一种较强的均衡概念——可计算序贯均衡.可计算序贯均衡包括2部分:可计算序贯理性和一致性.它强于纳什均衡,可以用来实现理性两方计算中的公平性.最后构造了一个模拟器,证明了协议的安全性. 王伊蕾 郑志华 王皓 徐秋亮关键词:效用函数 基于近红外光谱分析技术的人纤维蛋白原工艺过程控制研究 人纤维蛋白原(]Human Fibrinogen, Fg)是血浆的主要成分,含量高达2~4g/L。在人凝血反应的最后阶段在凝血酶与人凝血因子ⅩⅢ、Ca2+作用下形成纤维蛋白凝胶,将血液有形成分包绕其中,达到止血的目的。在... 郑志华关键词:近红外光谱分析 层析 文献传递