任艳丽 作品数:36 被引量:93 H指数:6 供职机构: 上海大学通信与信息工程学院 更多>> 发文基金: 国家自然科学基金 上海市自然科学基金 上海市教育委员会创新基金 更多>> 相关领域: 自动化与计算机技术 电子电信 航空宇航科学技术 文化科学 更多>>
一种隐私保护的卷积神经网络预测方案 被引量:1 2023年 机器学习在图像目标识别、语音识别和图像处理等领域有广泛的应用.卷积神经网络是机器学习领域中广为流行的架构,训练模型所需计算代价对资源受限的用户来说难以负担,因此越来越多的模型所有者将预测服务托管在云平台上以供用户按需使用.在现有方案中,云端处理数据时可能会泄露用户数据和模型参数,预测准确度不高,且用户与云服务器交互需要大量通信开销.本文提出隐私保护的卷积神经网络预测方案,服务器基于密文模型对用户提供的密文数据进行预测,同时保护用户的隐私数据以及模型参数.而且,用户在上传加密数据之后即可离线等待预测结果,在预测任务执行期间与服务器间无需交互.理论和实验表明,所提方案提高了CNN预测方案的安全性,降低了用户的通信代价,最高可达到93%的预测准确率,与明文数据预测准确率近似相等. 任艳丽 余凌赞 何港 张新鹏 张新鹏关键词:卷积神经网络 数据预测 隐私保护 同态加密 隐私保护的可验证多元多项式外包计算方案 被引量:6 2015年 随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。 任艳丽 谷大武 蔡建兴 黄春水关键词:云计算 大数据 多元多项式 基于身份密码体制的研究与设计 在传统公钥密码体制中,公钥的管理通常采用数字证书的方式。每个用户都拥有一个由证书权威中心签发的数字证书。这种方法存在以下缺点:使用任何公钥前都需要先验证公钥证书的合法性,增加了用户的计算量;权威中心需要大量计算和存储空间... 任艳丽文献传递 可证明安全的公钥签密方案 认证性与保密性是密码学的基本功能。签密方案能同时实现加密与签名,且实现代价小于两者之和。可证明安全是证明密码方案安全性的一种有效的方法。据我们所知,所有可证明安全的签密方案都基于椭圆曲线上的双线性对与对称加密算法。本文基... 任艳丽 谷大武关键词:可证明安全 签密 不可伪造性 文献传递 可完全验证的双线性对运算外包算法 被引量:6 2016年 双线性对运算是基于对的密码学中最昂贵的运算.基于两个不可信的服务器,本文首先提出了单个双线性对运算的外包计算方案.用户不需要执行任何复杂度高的运算,如标量乘、模乘运算等.本文还提出了多个双线性对运算的外包方案,效率远远高于调用单个对运算外包方案.在所提的两个算法中,如果服务器不诚实,用户均能以概率1检测到错误.基于两个算法,本文还提出了可外包解密的基于身份匿名加密方案和签名外包验证的基于身份签名方案. 任艳丽 丁宁 王天银 陆海宁 谷大武关键词:云计算 双线性对 基于身份加密 可修改的区块链方案 被引量:15 2020年 随着区块链的迅速发展,上链数据不仅包括金融交易数据,还包括科技、文化、政治等多类数据.而在现有的区块链系统中,数据一旦上链便无法更改,可能会面临失效数据无法删除、错误数据无法修改等问题.因此,特定条件下可修改的区块链方案具有广阔的应用前景.在POSpace(proof of space)共识机制下,基于陷门单向函数和新型区块链结构,提出了可修改的区块链方案.只要超过阈值数的节点同意,便可实现区块数据的合法修改,否则不能进行修改.除修改数据外,其余区块数据保持不变,全网节点仍可按原始验证方式对数据合法性进行验证.仿真实验表明:只要选定合适的阈值,所提方案中,区块生成与数据修改的效率均很高,数据的修改并不改变区块之间的链接关系,具有现实可操作性. 任艳丽 徐丹婷 张新鹏 谷大武关键词:区块链 数据安全 标准模型中基于身份的匿名加密方案 在基于身份的匿名加密方案中,由密文不能得到接收者的身份,保护了用户的隐私权,同时增加了密文的安全性.现有基于身份的匿名加密方案一个在selective-ID模型中可证安全;另一个基于复杂的ABDHE(augmented ... 任艳丽 王朔中 张新鹏 钱振兴关键词:匿名性 基于自适应联邦滤波的民机多源导航系统 2021年 在当前民用大型客机航空电子系统中,机载导航系统在其中起着核心的作用。为了解决由于机载导航设备受到导航信号变弱的影响造成综合导航系统精度下降的问题,提出了一种基于子滤波器精度的自适应联邦滤波器,使得在信息的融合过程中,每个信息分配因子与其子滤波器的精度相对应,实现一定程度上的自适应容错。仿真表明,该方法的定位精度优于传统机载导航系统中经典的卡尔曼滤波算法,在较大信号干扰情况下,整个系统的自适应容错能力能够提高20%以上,为民机在复杂信号环境中的精确定位提供了有效的思路和方法。 汪龙飞 任艳丽 郑智明关键词:机载导航系统 联邦卡尔曼滤波 自适应容错 基于身份加密中可验证的私钥生成外包算法 被引量:7 2015年 提出了包含私钥生成外包算法的基于身份加密方案,PKG将私钥生成的任务外包给服务器,并能有效验证外包结果的正确性。在标准模型中证明了方案的密文不可区分性和外包结果的可验证性,并对所提方案进行了仿真实现。实验结果表明,外包算法中PKG的计算量远小于直接生成用户私钥,且小于服务器的计算量。 任艳丽 蔡建兴 黄春水 谷大武关键词:云计算 大数据 基于身份加密 素数阶群中基于身份的匿名加密方案 被引量:3 2013年 为了保护基于身份加密方案中用户的个人隐私,基于素数阶群,使用非对称双线性映射,提出了匿名的基于身份加密方案,实现了数据保密性和接收者的匿名性,攻击者从密文不能得到接收用户的身份.方案基于决策双线性Diffie-Hellman(DBDH)困难问题假设,在标准模型下的适应性身份攻击模型中可证安全.与合数阶群中的方案相比,素数阶群中方案的计算代价大大降低,因此所提方案同时提高了基于身份匿名加密方案的安全性和实现效率. 任艳丽 张新鹏 钱振兴关键词:基于身份