检索结果-内蒙古大学图书馆

北京邮电大学学报 2024年第6期47卷 24-29页

作者：周艺华田雨薇杨宇光侍伟敏北京工业大学计算机学院北京100124 可信计算北京市重点实验室北京100124

模式匹配量子密钥分发协议一般使用弱相干光源作为信号光源,其中单光子成分较少,导致模式匹配量子密钥分发的密钥率受到限制。对此,提出了一种基于标记配对相干光源的模式匹配密钥分发协议,将标记配对相干光源作为模式匹配量子密钥分发... 详细信息

模式匹配量子密钥分发协议一般使用弱相干光源作为信号光源,其中单光子成分较少,导致模式匹配量子密钥分发的密钥率受到限制。对此,提出了一种基于标记配对相干光源的模式匹配密钥分发协议,将标记配对相干光源作为模式匹配量子密钥分发的信号光源,凭借标记配对相干光源中单光子比例更高的优势,提高了模式匹配量子密钥分发的性能。在渐进和无穷多诱骗态的情况下,对所提协议的密钥率进行了数值模拟。仿真实验结果表明,所提协议与使用弱相干光源作为信号光源的模式匹配量子密钥分发协议相比,不仅有更高的密钥率,而且传输距离更远,当传输距离大于400 km时,所提协议在密钥率方面的优势更加明显。

关键词：量子密钥分发模式匹配量子密钥分发标记配对相干光源安全密钥率

来源：评论

学校读者我要写书评

暂无评论

FastProtector:一种支持梯度隐私保护的高效联邦学习方法

引用

电子与信息学报 2023年第4期45卷 1356-1365页

作者：林莉张笑盈沈薇王万祥北京工业大学信息学部计算机学院北京100124 可信计算北京市重点实验室北京100124

联邦学习存在来自梯度的参与方隐私泄露,现有基于同态加密的梯度保护方案产生较大时间开销且潜在参与方与聚合服务器合谋导致梯度外泄的风险,为此,该文提出一种新的联邦学习方法FastProtector,在采用同态加密保护参与方梯度时引入符号... 详细信息

联邦学习存在来自梯度的参与方隐私泄露,现有基于同态加密的梯度保护方案产生较大时间开销且潜在参与方与聚合服务器合谋导致梯度外泄的风险,为此,该文提出一种新的联邦学习方法FastProtector,在采用同态加密保护参与方梯度时引入符号随机梯度下降(SignSGD)思想,利用梯度中正负的多数决定聚合结果也能使模型收敛的特性,量化梯度并改进梯度更新机制,降低梯度加密的开销;同时给出一种加性秘密共享方案保护梯度密文以抵抗恶意聚合服务器和参与方之间共谋攻击;在MNIST和CIFAR-10数据集上进行了实验,结果表明所提方法在降低80%左右加解密总时间的同时仍可保证较高的模型准确率。

关键词：低加密开销共谋攻击联邦学习梯度保护

来源：评论

学校读者我要写书评

暂无评论

混合云环境下面向数据生命周期的自适应访问控制

引用

软件学报 2024年第3期35卷 1357-1376页

作者：林莉毛新雅储振兴解晓宇北京工业大学信息学部计算机学院北京100124 可信计算北京市重点实验室(北京工业大学) 北京100124

混合云模式下企业业务应用和数据经常跨云流转迁移,面对多样复杂的云服务环境,当前大多数混合云应用仅以主体为中心制定数据的访问控制策略并通过人工调整策略,无法满足数据在全生命周期不同阶段时的细粒度动态访问控制需求.为此,提出... 详细信息

混合云模式下企业业务应用和数据经常跨云流转迁移,面对多样复杂的云服务环境,当前大多数混合云应用仅以主体为中心制定数据的访问控制策略并通过人工调整策略,无法满足数据在全生命周期不同阶段时的细粒度动态访问控制需求.为此,提出一种混合云环境下面向数据生命周期的自适应访问控制方法AHCAC.该方法首先采用基于关键属性的策略描述思想去统一混合云下数据全生命周期的异构策略,尤其引入“阶段”属性显式标识数据的生命周期状态,为实现面向数据生命周期的细粒度访问控制提供基础;其次针对数据生命周期同阶段策略具有相似性和一致性的特点,定义策略距离,引入基于策略距离的层次聚类算法实现数据生命周期各阶段对应访问控制策略的构建;最后通过关键属性匹配实现当数据所处阶段变化时,触发策略评估引擎上数据对应阶段策略的自适应调整和加载,最终实现面向数据生命周期的自适应访问控制.在OpenStack和开源策略评估引擎Balana上通过实验验证了所提方法的有效性和可行性.

关键词：混合云数据生命周期访问控制层次聚类策略自适应调整

来源：评论

学校读者我要写书评

暂无评论

代码复用攻防技术演化综述

引用

北京工业大学学报 2024年第5期50卷 632-650页

作者：詹静陈鹏张茜李永震赵勇北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

当前代码复用攻击研究多从一种或多种代码复用攻击或防御技术角度进行现状和趋势分析,对影响攻防的关键特征及技术覆盖不全面,对攻防技术对抗演化发展规律分析较少。为解决上述问题,从经典代码复用攻击——返回导向编程(return-oriented... 详细信息

当前代码复用攻击研究多从一种或多种代码复用攻击或防御技术角度进行现状和趋势分析,对影响攻防的关键特征及技术覆盖不全面,对攻防技术对抗演化发展规律分析较少。为解决上述问题,从经典代码复用攻击——返回导向编程(return-oriented programming,ROP)攻击的生命周期入手,归纳影响此类攻击成功与否的关键特征,基于时间线和这些特征,综合衡量安全和性能因素,给出了代码复用攻防技术的发展规律。

关键词：程序安全代码复用攻击攻防技术演化指令结构特征地址随机化运行代码特征

来源：评论

学校读者我要写书评

暂无评论

复杂嵌入式系统需求一致性的组合验证方法

引用

软件学报 2025年第4期36卷 1413-1434页

作者：杨晓王小齐陈小红金芝上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌... 详细信息

形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.

关键词：复杂嵌入式系统需求一致性组合验证

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统的需求描述综述

引用

软件学报 2025年第1期36卷 27-46页

作者：陈小红刘少彬金芝上海市高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点... 详细信息

随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.

关键词：嵌入式系统需求描述需求描述语言需求分析系统需求

来源：评论

学校读者我要写书评

暂无评论

基于区块链的策略隐藏大数据访问控制方法

引用

自动化学报 2023年第5期49卷 1031-1049页

作者：林莉储振兴刘子萌郭馥宾解晓宇张建标北京工业大学信息学部北京100124 北京工业大学可信计算北京市重点实验室北京100124

针对大数据应用中用户共享数据的访问控制由半可信云服务商实施所带来的隐私泄露、策略和访问日志易被篡改等问题,提出一种基于区块链的策略隐藏大数据访问控制方法(A policy-hidden big data access control method based on blockchai... 详细信息

针对大数据应用中用户共享数据的访问控制由半可信云服务商实施所带来的隐私泄露、策略和访问日志易被篡改等问题,提出一种基于区块链的策略隐藏大数据访问控制方法(A policy-hidden big data access control method based on blockchain,PHAC).该方法采用区块链技术实施访问控制以减少对服务商的信任依赖,引入属性基加密(Attribute-based encryption,ABE)以及双线性映射技术,实现在不泄露访问控制策略的前提下,通过智能合约正确执行访问控制策略.同时,解耦访问控制策略,简化用户策略的发布、更新和执行.并应用链上和链下存储相结合方式,解决智能合约和访问控制策略占用区块链节点资源不断增大的问题.最后,对该方法进行了理论分析和HyperLedger Fabric环境下的实验评估,结果表明该方法能在策略隐藏情况下有效实现访问控制,但不会给数据拥有者、区块链节点增加过多额外计算和存储开销.

关键词：数据共享访问控制区块链策略隐藏智能合约

来源：评论

学校读者我要写书评

暂无评论

基于区块链的动态可验证对称可搜索加密方案

引用

软件学报 2023年第11期34卷 5392-5407页

作者：徐万山张建标袁艺林北京工业大学信息学部计算机学院北京100124 可信计算北京市重点实验室(北京工业大学) 北京100124

对称可搜索加密(symmetric searchable encryption,SSE)能实现密文数据的检索而不泄露用户隐私,在云存储领域得到了广泛的研究与应用.然而,在SSE方案中,半诚实或者不诚实的服务器可能篡改文件中的数据,返回给用户不可信的文件,因此对这... 详细信息

对称可搜索加密(symmetric searchable encryption,SSE)能实现密文数据的检索而不泄露用户隐私,在云存储领域得到了广泛的研究与应用.然而,在SSE方案中,半诚实或者不诚实的服务器可能篡改文件中的数据,返回给用户不可信的文件,因此对这些文件进行验证是十分必要的.现有的可验证SSE方案大多是用户本地进行验证,恶意用户可能会伪造验证结果,无法保证验证的公平性.基于以上考虑,提出一种基于区块链的动态可验证对称可搜索加密方案(verifiable dynamic symmetric searchable encryption,VDSSE);VDSSE采用对称加密实现动态更新过程中的前向安全;在此基础上,利用区块链实现搜索结果的验证,验证过程中,提出一种新的验证标签——Vtag,利用Vtag的累积性实现验证信息的压缩存储,降低验证信息在区块链上的存储开销,并能够有效支持SSE方案的动态验证.由于区块链具有不可篡改的性质,验证的公平性得以保证.最后,对VDSSE进行实验评估和安全性分析,验证方案的可行性和安全性.

关键词：对称可搜索加密可验证区块链动态更新

来源：评论

学校读者我要写书评

暂无评论

经典启发式量子计算整数分解问题

引用

北京工业大学学报 2023年第6期49卷 675-683页

作者：张兴兰张丰陈菲郭艳琨北京工业大学信息学部北京100124 可信计算北京市重点实验室北京100124

大整数分解是破解RSA加密算法的基本途径之一,由于计算量过大,经典计算机难以有效解决大整数分解问题.量子叠加和纠缠的特性,使得量子计算可以对经典问题求解起到并行加速的作用.Shor算法是一个能够高效快速对大整数分解的量子算法.然而... 详细信息

大整数分解是破解RSA加密算法的基本途径之一,由于计算量过大,经典计算机难以有效解决大整数分解问题.量子叠加和纠缠的特性,使得量子计算可以对经典问题求解起到并行加速的作用.Shor算法是一个能够高效快速对大整数分解的量子算法.然而,Shor算法需要进行模幂运算,使得电路设计极其复杂,时间复杂度也高.为了解决该问题,基于经典计算的启发,提出一种启发式算法:利用量子计算的并行性,设计相关Oracle去计算2个奇数叠加态a和b的乘积,再将叠加态乘积的负相位加在大整数N的傅里叶基上,当结果为0时,利用多控制门便能够将满足pq=N的一个质因子p给提取出来.该文提出的算法最低仅需要2n个量子比特,时间复杂度也达到指数级加速.另外,该文在QISKit框架上实现了该算法,证明了算法的可行性和通用性.

关键词：整数分解量子计算 Shor算法启发式算法傅里叶基 QISKit

来源：评论

学校读者我要写书评

暂无评论

基于投影的嵌入式系统需求分析方法

引用

软件学报 2024年第12期35卷 5397-5418页

作者：王小齐陈小红金芝顾斌綦艳霞上海高可信计算重点实验室(华东师范大学) 上海200062 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871 北京控制工程研究所北京100190

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发... 详细信息

嵌入式系统正变得越来越复杂,其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征,要求需求分析方法能根据所依赖的设备进行有效的需求解耦.从基于环境建模的需求工程思想出发,针对嵌入式软件系统的特征,提出一种基于投影的从系统需求到软件需求的分析方法,帮助需求工程师对需求进行有效解耦.首先总结嵌入式软件系统的系统需求与软件需求描述,基于交互环境特性定义嵌入式软件系统的需求解耦策略,并设计从系统需求到软件需求的规约过程.在航天器太阳搜索系统进行实际案例研究,并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,展示所提方法的有效性.

关键词：嵌入式系统需求分析需求解耦问题投影软件需求

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：