公共文化服务平台

魏立斐: 作品数：22 被引量：164H指数：7; 供职机构：上海海洋大学信息学院更多>>; 发文基金：国家自然科学基金上海市自然科学基金国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术文化科学农业科学电子电信更多>>

合作作者

一种加密遥感图像的安全外包搜索方案被引量：1: 2019年; 遥感图像具有多时相、多语义、多波段等特点,鉴于敏感遥感图像涉及国家机密信息及传统图像搜索效率低下的原因,利用云平台进行遥感图像安全外包搜索已是大势所趋。因此提出了一种加密遥感图像的安全外包搜索方案,对存储在云平台的遥感图像进行扫描模式加密,再通过异或(XOR)运算和Johnson-Lindenstrauss(JL)转换得到一份双密文,JL转换的遥感图像用于在云平台进行搜索,XOR运算后的遥感图像用于图像解密。实验结果表明,本文方案可以有效保证云平台上遥感图像的安全性,同时,加密图像搜索的准确率高,搜索效率较同态加密提升98.37%,且计算复杂度低,通信成本低,适合于云计算平台部署应用。; 黄冬梅吴国健魏立斐魏泉苗戴亮; 关键词：图像处理遥感图像

面向隐私保护的集合交集计算综述被引量：9: 2022年; 随着物联网和大数据技术的发展,在计算机和手机上出现了大量分布式应用程序.然而现有的分布式数据处理方式已不能很好地满足用户对隐私保护的需求.隐私集合交集(private set intersection,PSI)协议作为一项典型的面向隐私保护的分布式集合计算技术,允许各参与方输入其私有集合,共同计算集合的交集,且不泄露除交集以外的任何信息.PSI协议作为安全多方计算的一种重要应用,已被广泛应用于隐私计算领域,具有重要的理论和实践意义.首先介绍PSI协议的基本密码技术、敌手模型、安全证明、编程框架等基础知识;其次系统总结了构造传统PSI协议的设计框架:基于公钥加密体制的框架、基于混淆电路的框架、基于不经意传输的框架;随后介绍PSI协议核心的隐私集合元素比较技术工具:不经意伪随机函数、不经意多项式评估、布隆过滤器等;进一步地详细阐述了适应新型应用场景的PSI方案:基于云辅助的PSI、非平衡型PSI、基于阈值的PSI和多方PSI;最后总结并展望面向隐私保护的集合交集计算中亟待解决问题和发展方向.; 魏立斐刘纪海张蕾王勤贺崇德; 关键词：安全多方计算隐私保护不经意传输

基于形式化方法的智能合约验证研究综述被引量：3: 2022年; 智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。; 张文博陈思敏魏立斐宋巍黄冬梅; 关键词：形式化方法区块链

高水平特色大学线性代数教学方式的新探索——以上海海洋大学为例被引量：2: 2018年; 线性代数是理工科本科生数学基础课之一,由于各种原因,被学生评价为理论性强、抽象度高、计算量大、知识点难。本文以上海海洋大学为例,对线性代数教学方式进行了探讨与实践,为高水平特色本科人才的培养提供了新路径。; 张蕾魏立斐; 关键词：线性代数教学方式小班教学数学软件

多云协同架构下的遥感图像安全外包降噪方案被引量：2: 2020年; 由于传输介质的干扰,遥感图像会被噪声污染,影响图像的处理和应用。遥感图像包含丰富的信息,致使普通计算机无法独立完成降噪任务,而云平台往往是不可信任甚至是恶意的,因此传统的图像降噪方案无法直接应用到云平台上。为保障遥感图像的可用性与安全性,提出一种基于多云协同的遥感图像安全外包降噪方案,既能实现灾备,又能实现分布式降噪,减少每个云平台的计算负担。利用(k,n)门限秘密共享方案将遥感图像共享给多个云服务器,云服务器根据改进的非局部均值降噪算法在密文域中完成图像降噪。; 黄冬梅张学俭魏立斐魏立斐苏诚; 关键词：遥感图像秘密共享非局部均值

大数据时代下“数据分析”课程的探索被引量：8: 2015年; 大数据时代下,迫切需要从海量的数据中揭示内在规律、发掘有用信息、帮助人们科学决策。这正是"数据分析"课程研究的基本内容。本文分析了信息与计算科学等本科专业开设"数据分析"课程中存在的一些问题,从教学目标、教学内容、教学方式与学时分配等方面,提出了"数据分析"课程的一些建议及初步探索方案。; 张蕾魏立斐; 关键词：数据分析大数据课程探索

面向计算机专业的“离散数学”课程改革与探索被引量：7: 2016年; "离散数学"是计算机科学与技术、软件工程、通信工程、网络空间安全等信息类本科专业的核心基础课之一,在计算机科学与技术等专业课程体系结构中起到非常重要的理论支撑作用。本文分析了计算机专业开设"离散数学"课程中存在的一些问题,从教学目标、教学内容、教学方式等方面,建议在教学时结合计算机相关领域中的实际例子,深入浅出地传授"离散数学"中的理论知识点,并采用理论教学结合编程练习,激发学生的兴趣,提高教学质量。; 魏立斐王晓明王春华; 关键词：离散数学课程改革编程实现

基于安全两方计算的隐私保护线性回归算法被引量：2: 2021年; 随着数据安全与隐私泄露事件频发,泄露规模连年加剧,如何保证机器学习中数据和模型参数的隐私引发科学界和工业界的广泛关注。针对本地存储计算资源的有限性及云平台的不可信性所带来的数据隐私问题,基于秘密共享技术提出了一种安全两方计算的隐私保护线性回归算法。利用加法同态加密和加法掩码实现了秘密共享值的乘法计算协议,结合小批量梯度下降算法,最终实现了在两个非共谋的云服务器上的安全线性回归算法。实验结果表明,该方案同时保护了线性回归算法训练及预测阶段中的数据及模型参数,且模型预测性能与在明文域中进行训练的模型相近。; 魏立斐李梦思张蕾陈聪聪陈玉娇王勤; 关键词：秘密共享隐私保护

面向计算机专业工程认证和课程思政需求的离散数学课程建设探索被引量：4: 2019年; 随着工程教育专业认证的持续开展和课程思政的需求日益强烈,迫切需要根据工程教育专业认证和课程思政的双重要求,对计算机科学技术专业基础课--离散数学的课程大纲进行修订。文章围绕学生毕业能力的培养和"立德树人"的教育根本任务,对细化教学目标、紧扣毕业要求、分解课程内容、支撑毕业指标、采用问题导向、改革教学方法,打通课程体系、融入课程思政等方面内容进行了探讨。; 魏立斐张蕾张凯; 关键词：离散数学课程建设

基于本地差分隐私的异步横向联邦安全梯度聚合方案: 2024年; 联邦学习作为一种新兴的分布式机器学习框架,通过在用户私有数据不出域的情况下进行联合建模训练,有效地解决了传统机器学习中的数据孤岛和隐私泄露问题。然而,联邦学习存在着训练滞后的客户端拖累全局训练速度的问题,异步联邦学习允许用户在本地完成模型更新后立即上传到服务端并参与到聚合任务中,而无需等待其他用户训练完成。然而,异步联邦学习也存在着无法识别恶意用户上传的错误模型,以及泄露用户隐私的问题。针对这些问题,该文设计一种面向隐私保护的异步联邦的安全梯度聚合方案(SAFL)。用户采用本地差分隐私策略,对本地训练的模型添加扰动并上传到服务端,服务端通过投毒检测算法剔除恶意用户,以实现安全聚合(SA)。最后,理论分析和实验表明在异步联邦学习的场景下,提出的方案能够有效识别出恶意用户,保护用户的本地模型隐私,减少隐私泄露风险,并相对于其他方案在模型的准确率上有较大的提升。; 魏立斐张无忌张蕾张蕾王绪安; 关键词：隐私保护

魏立斐

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

魏立斐

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈