期刊文献+
共找到42篇文章
< 1 2 3 >
每页显示 20 50 100
量子网络系统研究进展与关键技术分析 被引量:4
1
作者 李静 高飞 +2 位作者 秦素娟 温巧燕 张平 《中国工程科学》 CSCD 北大核心 2023年第6期80-95,共16页
量子信息领域的迅速发展为现代信息技术带来了新的机遇与挑战,其中的热门研究方向之一即量子网络,旨在利用量子力学的基本特性实现长距离的(安全)通信任务,或通过分布式计算提供优于经典计算网络的计算能力,相关研究对推动量子信息的实... 量子信息领域的迅速发展为现代信息技术带来了新的机遇与挑战,其中的热门研究方向之一即量子网络,旨在利用量子力学的基本特性实现长距离的(安全)通信任务,或通过分布式计算提供优于经典计算网络的计算能力,相关研究对推动量子信息的实用化具有重要意义。本文根据量子网络应用场景和技术手段的差异性,从量子密码网络、量子云计算网络、量子隐形传态网络3个细分类别出发,全面梳理了国内外的研究进展及发展挑战,以便掌握量子网络系统的最新发展态势;结合量子网络的实施情况,阐述了量子网络系统发展中亟待攻克的链路建立、信息传输、网络协议、物理硬件等关键技术。综合来看,量子网络仍处于初级发展阶段,当前需积极应对挑战并把握机遇,以增强我国前沿领域的科技硬实力。研究建议,加强基础硬件设施研发投入、重视量子网络理论研究、加强交叉学科研究和相关人才培养,以促进我国量子网络系统的发展。 展开更多
关键词 量子信息 量子网络 量子密码网络 量子云计算网络 量子隐形传态网络
在线阅读 下载PDF
新型电力系统数据跨域流通泛安全边界防护技术 被引量:13
2
作者 郭少勇 刘岩 +3 位作者 邵苏杰 臧志斌 杨超 亓峰 《电力系统自动化》 EI CSCD 北大核心 2024年第6期96-111,共16页
新型电力系统建设涉及多业务系统、多部门、多方主体间进行海量、异构数据的交互和共享,电力数据的内外部网络环境与安全形势日趋复杂化,数据流通的脆弱性风险加剧。首先,分析新型电力系统下数据流的类型与特性,概括电力数据流通安全防... 新型电力系统建设涉及多业务系统、多部门、多方主体间进行海量、异构数据的交互和共享,电力数据的内外部网络环境与安全形势日趋复杂化,数据流通的脆弱性风险加剧。首先,分析新型电力系统下数据流的类型与特性,概括电力数据流通安全防护面临的新形势;其次,基于专用数据处理器(DPU)的高性能流量编排和多功能安全网关能力,构建面向电力数据跨域流通安全增强的泛安全边界,凭借数据面可编程技术沟通网络安全与数据安全双维度安全能力,提出基于DPU的数据跨域流通协同防护技术应用方案;最后,阐释DPU在不同电力通信网络层次的部署方式、价值与关键技术,分析现阶段DPU在电力领域应用存在的挑战。 展开更多
关键词 新型电力系统 数据流通 专用数据处理器 数据安全 网络安全 安全防护
在线阅读 下载PDF
基于区块链的数据安全共享网络体系研究 被引量:129
3
作者 王继业 高灵超 +3 位作者 董爱强 郭少勇 陈晖 魏欣 《计算机研究与发展》 EI CSCD 北大核心 2017年第4期742-749,共8页
针对能源互联网企业内部与外间的数据共享过程中,存在集中部署访问受限、标识不唯一、易被窃取或篡改隐患等问题,影响到数据作为资产进行统一安全共享的效率.为此,结合区块链的去中心化、自主对等、难以更改的技术特征,构建基于区块链... 针对能源互联网企业内部与外间的数据共享过程中,存在集中部署访问受限、标识不唯一、易被窃取或篡改隐患等问题,影响到数据作为资产进行统一安全共享的效率.为此,结合区块链的去中心化、自主对等、难以更改的技术特征,构建基于区块链的数据安全共享网络体系,主要包括去集中化数据统一命名技术及服务、授权数据分布式高效存储和支持自主对等的数据高效分发协议.其次,设计了开放式数据索引命名结构,含一级基础ODIN和多级扩展ODIN,且阐述了开放数据索引命名运行机制.再次,基于ODIN技术,设计了基于ODIN的去中心化DNS的域名协议模块,为数据间P2P安全可信共享奠定基础.最后,针对基于ODIN的去中心DNS的功能进行验证,为实现企业内部及企业间的数据安全共享构建了一种可信网络环境. 展开更多
关键词 能源互联网 区块链 安全 共享 开放式数据索引命名技术
在线阅读 下载PDF
网络虚拟化环境中虚拟网络的嵌套映射算法 被引量:12
4
作者 卿苏德 廖建新 +2 位作者 朱晓民 王敬宇 戚琦 《软件学报》 EI CSCD 北大核心 2012年第11期3045-3058,共14页
网络虚拟化技术可以在共用的底层网络基础设施上同时构建多个彼此隔离的虚拟网络,为用户提供差异化服务,从而解决现有因特网的僵化问题.然而,一个重要的挑战是,如何在共用的基础设施中高效地映射多个具有不同拓扑的虚拟网络,即虚拟网络... 网络虚拟化技术可以在共用的底层网络基础设施上同时构建多个彼此隔离的虚拟网络,为用户提供差异化服务,从而解决现有因特网的僵化问题.然而,一个重要的挑战是,如何在共用的基础设施中高效地映射多个具有不同拓扑的虚拟网络,即虚拟网络的嵌套映射问题.主要根据基础设施的构成方式对现有的虚拟网络映射算法进行了综述.首先,阐述了网络虚拟化的概念、特点以及相应的虚拟网络映射模型;其次,按照基础设施的构成方式、问题空间完整性、映射阶段数等方面梳理了嵌套映射算法的最新研究进展;最后,对虚拟网络映射算法在公平性、扩展性、高利用率、信任度等未来可能的发展方向进行了展望. 展开更多
关键词 网络虚拟化 虚拟网络嵌套映射 僵化 下一代因特网 虚拟专用网
在线阅读 下载PDF
网络虚拟化环境下的服务故障诊断算法 被引量:12
5
作者 张顺利 邱雪松 孟洛明 《软件学报》 EI CSCD 北大核心 2012年第10期2772-2782,共11页
网络虚拟化环境下,底层网络的透明性造成虚拟网提供商不能诊断所有的虚拟网服务故障.为解决此问题,提出了基于映射关系的虚拟网服务故障传播模型.针对故障传播模型中故障集与症状集较大、网络环境动态和噪声大而导致的已有诊断算法误报... 网络虚拟化环境下,底层网络的透明性造成虚拟网提供商不能诊断所有的虚拟网服务故障.为解决此问题,提出了基于映射关系的虚拟网服务故障传播模型.针对故障传播模型中故障集与症状集较大、网络环境动态和噪声大而导致的已有诊断算法误报率高、时间复杂度高的问题,基于网络虚拟化环境下症状内在相关性特点,提出了一种新的基于症状内在相关性的虚拟网服务故障诊断算法SFDoIC(service fault diagnosis algorithm based on inherent correlation among symptoms).仿真实验结果表明,SFDoIC算法能够很好地解决底层网络透明性造成的虚拟网服务故障难以定位的问题.SFDoIC算法可以有效地降低诊断算法的误报率,显著缩短诊断算法的运行时间. 展开更多
关键词 网络虚拟化 虚拟网 底层网络 服务故障诊断 症状内在相关性
在线阅读 下载PDF
多级隔离的网络切片可用性保障方法 被引量:2
6
作者 王颖 陈可 +3 位作者 喻鹏 李文璟 邱雪松 孟洛明 《软件学报》 EI CSCD 北大核心 2023年第12期5757-5772,共16页
核心网络切片通过虚拟网络功能(VNF)的组合链接实现灵活组网.软件故障和硬件故障均会导致VNF失效,从而导致切片服务中断.由于网络切片共享资源,需要特定的隔离机制以满足切片健壮性需求.现有的可用性保障机制大多面向随机VNF故障,一些... 核心网络切片通过虚拟网络功能(VNF)的组合链接实现灵活组网.软件故障和硬件故障均会导致VNF失效,从而导致切片服务中断.由于网络切片共享资源,需要特定的隔离机制以满足切片健壮性需求.现有的可用性保障机制大多面向随机VNF故障,一些涉及外部攻击的研究很少考虑网络切片特殊的隔离需求.为了在隔离机制下实现切片可用性保障,提出一种基于多级隔离的网络切片可用性保障方法.首先,建立核心网切片资源感知的可用性保障问题模型,旨在满足隔离需求的同时,消耗最少的备份资源来达到可用性目标.然后,提出一种隔离级别评估模型对VNF的隔离级别进行评估.最后,提出一种基于多级隔离的备份算法MLIBA解决所提出的可用性保障问题.此外,针对共享备份可用性计算这一PP-complete问题,提出一种基于等效备份实例的计算方法.仿真结果表明,所提可用性计算方法具有较高的准确性,引入多级隔离的可用性保障方法可以使切片的健壮性提高一倍.与现有研究的对比表明,在相同的隔离约束和可用性目标下,所提方法可减少20%–70%资源消耗,提高5%–30%的有效资源占比. 展开更多
关键词 网络切片 网络功能虚拟化 可用性 隔离 备份
在线阅读 下载PDF
满足地理不可区分性的偏好感知多对多任务分配算法
7
作者 张朋飞 翟睿辰 +3 位作者 程祥 张治坤 刘西蒙 王杰 《电子学报》 北大核心 2025年第3期878-894,共17页
为空间众包中的工人分配任务是后续收集位置相关数据的重要前提.为了应对可能的位置隐私泄露问题,研究者往往结合地理不可区分性进行保护.现有满足地理不可区分性的任务分配方法通常针对一对一场景,其研究目标一般集中在最小化平均旅行... 为空间众包中的工人分配任务是后续收集位置相关数据的重要前提.为了应对可能的位置隐私泄露问题,研究者往往结合地理不可区分性进行保护.现有满足地理不可区分性的任务分配方法通常针对一对一场景,其研究目标一般集中在最小化平均旅行距离,而不是最大化任务分配数量;同时,它们假设工人能分配去执行任意的任务.此外,这些研究往往结合平面拉普拉斯机制实现地理不可区分性.上述机制的随机性和无界性会导致工人上传的位置数据包含过量噪音,进而降低任务分配的效用,导致工人平均旅行距离较大或者任务无法完全分配.为解决以上问题,本文提出满足地理不可区分性的偏好感知多对多任务分配算法MONITOR(Many-to-many task allOcation under geo-iNdIsTinguishability for spatial crOwdsouRcing).该算法主要思想是对工人的偏好任务进行分组加噪并上传工人真实位置到模糊偏好任务位置之间的距离以代替直接上传工人的模糊位置.在MONITOR中,为了收集任务分配必需的工人到任务的距离信息,设计了基于分组的模糊距离收集方法 GroCol(Group-based obfuscated distance Collection);同时为了提高任务分配的效用,设计了参数无关的模糊距离比较方法 ParCom(Parameter-free obfuscated distance Comparison).此外,本文进一步从理论上分析了MONITOR的隐私、效用和复杂度.在2个真实数据集和1个模拟数据集上的实验结果表明MONITOR取得与非隐私任务分配类似的任务分配数量,且较基准方法的旅行距离降低了20%以上. 展开更多
关键词 空间众包 任务分配 隐私保护 地理不可区分性 平均旅行距离
在线阅读 下载PDF
基于自适应剪枝的满足本地差分隐私的真值发现算法
8
作者 张朋飞 朱伊波 +5 位作者 程祥 张治坤 刘西蒙 孙笠 方贤进 张吉 《软件学报》 北大核心 2025年第7期3405-3428,共24页
为了对移动群智感知中工人上传的不同质量的感知数据做必要的聚合处理,真值发现技术应运而生,其是为后续应用提供精确数据支持的基础.为了应对可能的隐私泄露问题,现有研究往往结合本地差分隐私技术来进行保护,然而这些研究往往忽略了... 为了对移动群智感知中工人上传的不同质量的感知数据做必要的聚合处理,真值发现技术应运而生,其是为后续应用提供精确数据支持的基础.为了应对可能的隐私泄露问题,现有研究往往结合本地差分隐私技术来进行保护,然而这些研究往往忽略了感知数据中的异常值对本地差分隐私下真值发现精度的影响.这些异常值往往具有极大的取值范围,导致注入数据中的噪音量较大.而且在现实世界中,工人出于对隐私泄露的担心,移动群智感知服务器无法在无隐私保护的情况下预先处理数据.为解决以上问题,提出基于自适应剪枝的满足本地差分隐私的真值发现算法NATURE.该算法的核心思想是考虑数据中蕴含的噪音类型来自适应剪枝掉不需要的工人的所有值或者某些任务值.在NATURE中,为便于剪枝,在形式化约束优化问题的基础上,设计基于优化问题的噪音感知的权重和重要性估计方法;为进行剪枝,在证明最优剪枝问题是NP-hard的基础上,设计具有多项式时间复杂度的效用感知的自适应剪枝方法.进一步从理论上分析NATURE的隐私、效用和复杂度.在两个真实数据集和一个合成数据集上的实验结果表明,相较于对比算法,NATURE在求得噪音“真值”的精度上至少提高20%. 展开更多
关键词 移动群智感知 真值发现 隐私保护 本地差分隐私 自适应剪枝
在线阅读 下载PDF
区块链赋能的算力网络协同资源调度方法 被引量:7
9
作者 衷璐洁 王目 《计算机研究与发展》 EI CSCD 北大核心 2023年第4期750-762,共13页
随着AI内容生成、多媒体处理、VR视频等对于计算资源有着极大需求的互联网服务的快速发展,在可以遇见的将来,计算资源将成为网络中的稀缺资源.算力网络通过将算力作为网络基本单元之一来实现算力的网络化,为这些计算敏感的应用提供了行... 随着AI内容生成、多媒体处理、VR视频等对于计算资源有着极大需求的互联网服务的快速发展,在可以遇见的将来,计算资源将成为网络中的稀缺资源.算力网络通过将算力作为网络基本单元之一来实现算力的网络化,为这些计算敏感的应用提供了行之有效的解决方案.得益于来自云—边—端等节点的计算资源,算力网络能够为大规模用户提供弹性泛在的计算调度.尽管算力网络具有广泛的应用前景,如何实现在这些地理分布的计算节点之间高效调度,计算资源对于算力网络的性能至关重要.提出了一种区块链赋能的资源调度(blockchain empowered resource allocation,BCERA)算法.不同于现有的资源调度方法,BCERA依赖于一个区块链结构来实现分布式、高效的计算资源调度.特别地,有别于现有的区块链结构,BCERA中的区块链节点通过求解任务调度优化问题来实现区块链的共识,从而在避免共识所带来的额外开销和时延的同时,还能提升系统的可扩展性和鲁棒性.计算资源调度问题被建模为一个马尔可夫决策过程(Markov decision process,MDP)并通过强化学习方法来求解.除此之外,还设计了一个激励机制以鼓励计算节点贡献资源支持算力网络的运转.实验结果表明,所提出的方法能够有效提高资源调度性能. 展开更多
关键词 算力网络 区块链 资源调度 强化学习 激励机制
在线阅读 下载PDF
基于知识描述和遗传算法的跨域虚拟网络映射 被引量:12
10
作者 肖蔼玲 王颖 +3 位作者 孟洛明 邱雪松 李文璟 尹斌 《软件学报》 EI CSCD 北大核心 2014年第10期2189-2205,共17页
网络虚拟化环境下的跨域虚拟网络映射是指当物理网络由多个自治域构成时,以最小化虚拟网络映射开销为目标,将虚拟网络请求恰当地划分为多个虚拟子网请求,并分别指派给相应自治域以完成映射.资源匹配和虚拟网络划分是跨域虚拟网络映射中... 网络虚拟化环境下的跨域虚拟网络映射是指当物理网络由多个自治域构成时,以最小化虚拟网络映射开销为目标,将虚拟网络请求恰当地划分为多个虚拟子网请求,并分别指派给相应自治域以完成映射.资源匹配和虚拟网络划分是跨域虚拟网络映射中的两个关键阶段.然而,现有的资源匹配算法无法支持精确的数值属性匹配,也无法满足虚拟网络用户对表达多样化映射约束的需求,故实用性不高.此外,虚拟网络划分属于NP问题,目前也缺乏高效的求解方法.针对上述两个阶段中存在的问题,分别提出了基于OWL及SWRL的资源匹配算法和基于遗传算法的虚拟网络划分算法.理论分析证明了该方法的正确性.仿真实验从效率、性能及稳定性方面验证了该方法的有效性. 展开更多
关键词 网络虚拟化 跨域虚拟网络映射 资源匹配 知识描述 虚拟网络划分 遗传算法
在线阅读 下载PDF
网络功能虚拟化中延时感知的资源调度优化方法 被引量:15
11
作者 徐冉 王文东 +1 位作者 龚向阳 阙喜戎 《计算机研究与发展》 EI CSCD 北大核心 2018年第4期738-747,共10页
网络功能虚拟化(network function virtualization,NFV)旨在以软件的方式实现网络功能从而替代传统网络中的专有硬件设备.为了应对日益增长的资源密集型需求,面向软件的网络功能虚拟化带来了如虚拟网络功能的管理、低延迟的调度和虚拟... 网络功能虚拟化(network function virtualization,NFV)旨在以软件的方式实现网络功能从而替代传统网络中的专有硬件设备.为了应对日益增长的资源密集型需求,面向软件的网络功能虚拟化带来了如虚拟网络功能的管理、低延迟的调度和虚拟网络资源分配等问题.虚拟网络功能调度问题本身为NP-hard,在虚拟网络功能资源调度延迟的特定问题上,为保证良好的用户体验,需要确保网络资源被合理地分配和协调以防止资源的过度供应和保持端到端低延迟.针对网络资源调度的延时问题建立了以最小化资源调度总体服务延迟为目标的整数线性规划模型.此外,为了满足网络动态性较高的特性,设计了一种基于贪婪的启发式算法,此算法首先构建辅助图,然后根据考虑到网络传播时延影响的不同业务链之间的时延影响分析来选择资源调度方案,并且对很多点处理功能采用了多路传输的方式.最终的实验结果表明:所提算法可以有效地指导模型的求解,在降低网络总体服务延时方面比之前相关研究有5%~15%的性能提升. 展开更多
关键词 网络功能虚拟化 软件定义网络 服务链 资源调度 多路传输
在线阅读 下载PDF
融合网络环境下快速可靠的服务组合容错方法 被引量:3
12
作者 张俊娜 王尚广 +1 位作者 孙其博 杨放春 《软件学报》 EI CSCD 北大核心 2017年第4期940-958,共19页
针对传统容错方法在融合网络环境下服务组合的低效性,提出了一种快速可靠的服务组合容错方法.该方法首先采用模糊逻辑对服务的临时性故障进行服务重试;然后采用多属性决策理论对服务的永久性故障进行服务复制;最后,通过改进的粒子群算... 针对传统容错方法在融合网络环境下服务组合的低效性,提出了一种快速可靠的服务组合容错方法.该方法首先采用模糊逻辑对服务的临时性故障进行服务重试;然后采用多属性决策理论对服务的永久性故障进行服务复制;最后,通过改进的粒子群算法对永久性故障进行服务补偿.基于真实数据集的实验结果表明,所提方法在故障排除率、故障处理时间与组合最优度方面均优于其他方法. 展开更多
关键词 服务组合 容错 服务重试 服务复制 服务补偿
在线阅读 下载PDF
基于Cluster的无线Mesh网络位置管理方法 被引量:1
13
作者 胡渭琦 邹仕洪 +2 位作者 程时端 胡博 王文东 《软件学报》 EI CSCD 北大核心 2010年第6期1404-1415,共12页
提出一种基于Cluster的位置管理方法,充分考虑到Mesh结构的特点,利用Cluster内部各小区路径的相似性,采用似组播方式分发信令,提高了Mesh网络中位置管理的效率.数值分析显示,此方法显著地降低了位置管理的信令开销.
关键词 无线MESH网络 位置管理 基于Cluster 信令开销 寻呼
在线阅读 下载PDF
基于遗传算法的混合软件定义网络路由节能算法 被引量:9
14
作者 张举 王浩 +2 位作者 罗舒婷 耿海军 尹霞 《计算机科学》 CSCD 北大核心 2020年第6期236-241,共6页
随着软件定义网络(Software Defined Network,SDN)技术的快速发展,互联网必将长期处于传统网络设备和SDN设备共存的混合SDN网络状态。混合SDN网络中的路由节能研究是一项关键的工作。文中提出了一种基于遗传算法的混合软件定义网络路由... 随着软件定义网络(Software Defined Network,SDN)技术的快速发展,互联网必将长期处于传统网络设备和SDN设备共存的混合SDN网络状态。混合SDN网络中的路由节能研究是一项关键的工作。文中提出了一种基于遗传算法的混合软件定义网络路由节能算法(Hybrid Software Defined Network Energy Efficient Routing Algorithm Based on Genetic Algorithm,EEHSDNGA)。文中致力于解决两方面的问题:1)如何在网络中有选择性地将传统网络设备升级为SDN设备;2)如何选择性地关闭链路。对于第一个问题,利用遗传算法进行解决。针对第二个问题,文中提出了链路关键度模型,即根据链路的重要性逐个关闭网络中的链路。实验结果表明,在Abilene网络中,EEHSDNGA的节能比率可达36%;在Geant网络中,EEHSDNGA的节能比率高达42.5%。EEHSDNGA的节能效果远远优于LF,HEATE和EEGAH的节能效果。 展开更多
关键词 混合软件定义网络 遗传算法 链路关键度模型 部署开销比率
在线阅读 下载PDF
基于智能配变终端的配电网单相接地故障检测技术研究 被引量:19
15
作者 王世林 刘柱 +1 位作者 张喆 张帅 《电网技术》 EI CSCD 北大核心 2019年第12期4291-4298,共8页
基于软件定义的智能配变终端的应用和推广,对配电物联网的建设起到了积极的推动作用。该文给出了一个新的非负矩阵分解改进算法--广义投影非负矩阵分解算法,并通过理论证明说明该算法是收敛的。以广义投影非负矩阵分解算法为基础构建了... 基于软件定义的智能配变终端的应用和推广,对配电物联网的建设起到了积极的推动作用。该文给出了一个新的非负矩阵分解改进算法--广义投影非负矩阵分解算法,并通过理论证明说明该算法是收敛的。以广义投影非负矩阵分解算法为基础构建了一个全新的统计监控模型,并设计了适用于新监控模型的监控统计量。利用智能配变终端为应用平台将该监控模型以软件APP的形式部署其中,来实现配电网运行状态监测及故障检测功能。以MATLAB软件中的Simulink为工具,对配电网中出现的单相接地故障进行仿真。试验表明,基于广义投影非负矩阵分解的故障监控模型能够很好地完成单相接地故障的检测任务,其检测效果的实时性可以达到现场对故障检测的要求。 展开更多
关键词 配电网 故障检测 智能配变终端 广义投影非负矩阵分解 单相接地故障
在线阅读 下载PDF
一种综合考虑主客观权重的Web服务QoS度量算法 被引量:27
16
作者 马友 王尚广 +1 位作者 孙其博 杨放春 《软件学报》 EI CSCD 北大核心 2014年第11期2473-2485,共13页
已有的Web服务Qo S(quality of service)度量方法由于无法对用户偏好的模糊性予以准确量化,以及对候选服务Qo S属性数据分布特征的忽视,导致其度量结果不准确.为此,提出了一种综合考虑主客观权重的Web服务Qo S度量算法.该算法利用自适... 已有的Web服务Qo S(quality of service)度量方法由于无法对用户偏好的模糊性予以准确量化,以及对候选服务Qo S属性数据分布特征的忽视,导致其度量结果不准确.为此,提出了一种综合考虑主客观权重的Web服务Qo S度量算法.该算法利用自适应用户偏好的主观权重计算方法和服务潜能保障的客观权重计算方法,从主观和客观两个角度进行Qo S度量,以保障度量结果在符合用户偏好的基础上能够准确地反映服务的整体性能.理论分析和基于QWS真实数据集的实验结果表明,所提出的方法能够准确地获得Web服务Qo S的度量结果. 展开更多
关键词 WEB服务 QOS 主观权重 客观权重
在线阅读 下载PDF
基于缺陷关联的静态分析优化 被引量:14
17
作者 张大林 金大海 +3 位作者 宫云战 王前 董玉坤 张海龙 《软件学报》 EI CSCD 北大核心 2014年第2期386-399,共14页
缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关... 缺陷检测一般包括静态分析与人工审查两个阶段.静态检测工具报告大量缺陷,但是主要的缺陷确认工作仍由人工完成,这是一件费时、费力的工作.巨大的审查开销可能会导致软件开发人员拒绝使用该静态缺陷检测工具.提出一种可靠的基于缺陷关联的静态分析优化方法,能够分组静态检测工具所报告的缺陷,在分组后的任意一组缺陷中,如果其主导缺陷被证明是误报(或者是真实的),就能确认其他缺陷也是误报(也是真实的).实验结果表明,基于缺陷关联的静态分析优化方法在较小的时间和空间开销下减少了22%的缺陷审查工作,能够较好地适应于大型的关键嵌入式系统程序缺陷检测. 展开更多
关键词 静态分析 优化 缺陷关联 抽象解释 状态切片
在线阅读 下载PDF
流测量中基于测量缓冲区的时间分层分组抽样 被引量:14
18
作者 王洪波 韦安明 +1 位作者 林宇 程时端 《软件学报》 EI CSCD 北大核心 2006年第8期1775-1784,共10页
NetFlow是流测量中广泛应用的解决方案,但NetFlow的抽样方法存在一定的缺陷:泛洪攻击时消耗路由器过多的资源;用户很难选择适合所有流量组成情况的静态抽样率,以平衡资源消耗量和准确率.提出了一种易于实现的分组抽样方法.该方法利用测... NetFlow是流测量中广泛应用的解决方案,但NetFlow的抽样方法存在一定的缺陷:泛洪攻击时消耗路由器过多的资源;用户很难选择适合所有流量组成情况的静态抽样率,以平衡资源消耗量和准确率.提出了一种易于实现的分组抽样方法.该方法利用测量缓冲区对定长时间内到达的分组进行固定数量的抽样,既可以使抽样率自适应于流量变化,又可以控制资源的消耗.证明了抽样估计的无偏性,并推导出估计值相对标准差的理论上界.实验结果表明,与已有方法相比,该方法在具有简单性、自适应性及资源可控性的同时不会失去准确性. 展开更多
关键词 流量测量 网络监控 IP流 分组抽样 NETFLOW
在线阅读 下载PDF
基于联盟链的物联网跨域认证 被引量:16
19
作者 魏欣 王心妍 +2 位作者 于卓 郭少勇 邱雪松 《软件学报》 EI CSCD 北大核心 2021年第8期2613-2628,共16页
针对物联网场景下跨信任域的信息交换需求,结合区块链与边缘计算思想,构建了一种适应于物联网认证的架构.首先,基于联盟链技术设计了适应于物联网跨域认证的架构及流程,构建了安全的跨域信息交互环境;随后引入边缘网关,以屏蔽物联网的... 针对物联网场景下跨信任域的信息交换需求,结合区块链与边缘计算思想,构建了一种适应于物联网认证的架构.首先,基于联盟链技术设计了适应于物联网跨域认证的架构及流程,构建了安全的跨域信息交互环境;随后引入边缘网关,以屏蔽物联网的底层异构性,并设计了基于网关的跨域认证流程,增强了物联网认证中的隐私保护;最后,针对设计协议的安全性进行了分析,证明其可抵抗物联网场景下的常见攻击.实验结果表明,该设计方案在计算和通信开销上优于传统方案,可用于物联网. 展开更多
关键词 区块链 物联网 联盟链 多信任域 认证
在线阅读 下载PDF
基于区域内存模型的C程序静态分析 被引量:9
20
作者 董玉坤 金大海 +1 位作者 宫云战 邢颖 《软件学报》 EI CSCD 北大核心 2014年第2期357-372,共16页
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的... 为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析. 展开更多
关键词 可寻址表达式 内存模型 静态分析 符号化函数摘要 缺陷检测
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部