牛淑芬
- 作品数：17 被引量：51H指数：4
- 供职机构：西北师范大学更多>>
- 发文基金：国家自然科学基金教育部人文社会科学研究基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术理学电子电信经济管理更多>>
- 基于同态加密和群签名的可验证联邦学习方案
- 2025年
- 在车载网络(VANETs)中,联邦学习(FL)通过协同训练机器学习模型,实现了车辆间的数据隐私保护,并提高了整体模型的性能。然而,FL在VANETs中的应用仍面临诸多挑战,如模型泄露风险、训练结果验证困难以及高计算和通信成本等问题。针对这些问题,该文提出一种面向联邦学习的可验证隐私保护批量聚合方案。首先,该方案基于Boneh-Lynn-Shacham(BLS)动态短群聚合签名技术,保护了客户端与路边单元(RSU)交互过程中的数据完整性,确保全局梯度模型更新与共享过程的不可篡改性。当出现异常结果时,方案利用群签名的特性实现车辆的可追溯性。其次,结合改进的Cheon-Kim-Kim-Song(CKKS)线性同态哈希算法,对梯度聚合结果进行验证,确保在联邦学习的聚合过程中保持客户端梯度的机密性,并验证聚合结果的准确性,防止服务器篡改数据导致模型训练无效的问题。此外,该方案还支持车辆在部分掉线的情况下继续更新模型,保障系统的稳定性。实验结果表明,与现有方案相比,该方案在提升数据隐私安全性和结果的可验证性的同时,保证了较高效率。
- 李亚红李一婧杨小东张源牛淑芬
- 关键词：隐私保护车载自组网群签名
- 带交易费用的离散多因素投资组合最优化(英文)
- 2009年
- 研究带有凹的交易费函数的离散多因素投资组合模型.与传统的投资组合模型不同的是,该模型中投资组合的决策变量是交易手数(整数),其最优化模型是一个非线性整数规划问题.为此本文提出了一个基于拉格朗日松弛和连续松弛的混合分枝定界算法,为测试算法的有效性,我们分别采用美国股票市场真实数据和随机产生的数据,数值结果表明该算法是有效的.
- 牛淑芬
- 关键词：金融优化拉格朗日松弛交易费分枝定界法
- 一种可证安全的异构聚合签密方案被引量：13
- 2017年
- 异构签密可实现不同安全域之间数据通信的机密性、认证性和不可伪造性。分析现有的异构签密方案,发现它们仅是针对单个消息而设计的,计算效率普遍较低,不适合大数据环境下的网络通信系统。该文提出一个异构的聚合签密方案,该方案不但可以实现单个消息的签密验证,而且可以实现多个消息的聚合验证,并且验证需要的双线性对个数固定,与所签密消息的个数无关。同时,在随机预言模型下,证明了方案的机密性和不可伪造性分别基于q双线性Diffie-Hellman逆问题和离散对数问题。数值结果表明,该方案与现有方案相比在计算效率和传输效率上有着极大的提高。
- 牛淑芬牛灵王彩芬杜小妮
- 关键词：异构系统离散对数问题
- 投资组合中的离散多因素模型及其算法
- Markowitz于1952年首次提出了科学的投资组合选择方法：均值一方差方法，奠定了现代投资组合理论的基础．然而传统的均值-方差模型大都讨论具有连续决策变量的投资组合问题，但在实际金融交易中还有许多其它离散特征，如交易...
- 牛淑芬
- 关键词：金融优化拉格朗日松弛分枝定界法交易费投资组合
- 多源网络编码数据完整性验证方案被引量：2
- 2015年
- 基于同态向量哈希函数和向量合并算法,提出一种能够抵御污染攻击的多源网络编码数据完整性验证方案。通过信源节点计算发送向量的哈希值,利用私钥对该哈希值进行签名,并将消息向量、哈希值以及哈希值的签名发送至中间节点。中间节点和信宿节点基于系统公钥,验证来自不同信源节点的线性编码消息的完整性。实验结果表明,当信源节点数大于200时,该方案的计算效率优于现有多源网络编码方案,更适用于大规模分布式网络数据的安全验证。
- 牛淑芬王彩芬张玉磊曹素珍
- 关键词：数据完整性聚合签名离散对数问题
- 多源线性网络编码的同态签名算法被引量：4
- 2012年
- 网络编码易遭受污染攻击,但传统的签名技术不适用于多源网络编码。为此,基于同态函数,使用双线性对技术,提出一种可抵御污染攻击的多源线性网络编码签名算法,其中,每个源节点用自己的私钥对文件签名,中间或信宿节点仅用公钥即可验证收到的签名,利用随机预言模型证明该算法能够抵抗信源节点和中间节点的攻击。
- 牛淑芬王彩芬
- 关键词：双线性对离散对数
- 标准模型下高效的异构签密方案被引量：11
- 2017年
- 异构签密方案能够为不同安全域之间的数据通信提供机密性和认证性。分析现有的异构签密方案,都是在随机预言模型下可证安全的。基于此,该文提出一个在标准模型下从基于身份的密码到传统公钥设施的签密方案,利用计算Diffie-Hellman问题和判定双线性Diffie-Hellman问题的困难性,对该方案的机密性和不可伪造性进行了证明。通过理论和实验分析,该方案在计算成本和通信成本方面具有更高的效率。
- 王彩芬李亚红张玉磊牛淑芬
- 抵御污染攻击的双源网络编码签名算法被引量：2
- 2011年
- 网络编码易遭受污染攻击的破坏,而传统的签名技术不能适用于多源网络编码。基于一种离散对数问题安全的向量哈希函数,提出一种有效抵御污染攻击的双源线性网络编码签名算法,方案中每个源节点用自己的私钥对文件签名,中间节点可用向量的合并算法线性组合来自不同源的消息,且中间(信宿)节点仅用公钥就可验证收到的签名。方案的安全性依赖于Co-Diffie、Hellman问题,并在随机预言模型下,证明能够抵抗信源节点和中间节点的攻击。
- 牛淑芬王彩芬刘雪艳
- 关键词：哈希函数双线性对离散对数
- 无线传感器数据融合技术中基于同态哈希函数的数据完整性算法被引量：2
- 2013年
- 在无线传感器数据融合技术中,为了实现端到端数据传输完整性验证,在同态认证技术不适用于多源多消息的背景下,利用同态哈希函数和聚合签名思想,提出一个基于身份的数据完整性验证技术。技术基于公钥密码体制,进一步提高了系统的安全性;基站可以验证来自不同传感器节点拥有不同私钥的消息,也可以根据收到的融合消息计算出每个传感器节点的权重。安全性分析表明,该安全数据融合协议能在融合数据的同时保障数据完整性与可认证性。数值结果说明该算法在传感器节点的计算效率优于已有的方案。
- 牛淑芬王彩芬杜小妮
- 关键词：无线传感器数据融合数据完整性
- 标准模型下可证明安全的无证书广义签密被引量：5
- 2017年
- Liu等在2010年提出了一种在标准模型下可证明安全的无证书签密算法(简称LHZ算法),但后续的研究成果显示LHZ算法实际上是不安全的。为了克服LHZ算法的不足,首先改进LHZ签密算法,然后以此为基本的签密算法提出一种新的无证书广义签密算法。同时给出了抵抗有预谋的KGC被动攻击(malicious-butpassive KGC attack)的无证书广义签密算法的安全性模型,并在标准模型下证明了该算法在判定性双线性Diffie-Hellman困难问题和计算性Diffie-Hellman困难问题假设下是安全的。此外,数值实验结果表明所提方案是有效的。
- 牛淑芬牛灵王彩芬李亚红
- 关键词：无证书密码体制广义签密
