面向软件供应链的异常分析方法综述

下载全文  

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下,信息之间的交互、分析、协同变得越来越普遍,程序/软件之间的依赖关系逐渐增多,这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链,其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分,与软件供应链安全有着密切的联系.为了提高软件开发效率,软件库或应用程序编程接口(API)在程序编写过程中会被频繁使用,但库函数中存在的错误或漏洞可能会被攻击者利用,从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关,因此,从精度和效率两方面对适用于库函数的异常分析方法进行总结归纳,对于每种异常分析方法的基本思想和重要过程进行阐述,并针对库函数异常分析面临的挑战给出初步解决思路.对软件供应链中的库函数进行异常分析,有助于增强软件系统的健壮性,进而保障软件供应链的安全.… …   相似文献

葛丽丽  帅东昕  谢金言  张迎周  薛渝川  杨嘉毅  密杰  卢跃 《软件学报》2023,34(6):2606-2627

基于谱聚类的在线数据库垂直分区多阶段生成方法

下载全文  

垂直数据分区技术从逻辑上将满足一定语义条件的数据库表属性存放在同一个物理块中,进而降低数据访问成本,提高查询效率.数据库查询负载中的每条查询通常只与数据库表中的部分属性有关,因此只需使用数据库表的某个属性子集便可以得到准确的查询结果.合理的垂直数据分区方式可以使大多数查询负载不需… …   相似文献

刘鹏举  李好洋  王天一  刘欢  孙路明  任逸飞  李翠平  陈红 《软件学报》2023,34(6):2804-2832

基于无干扰理论的虚拟机可信启动研究

下载全文  

云计算作为一种新型高价值计算系统,目前被广泛应用于各行业领域;等保2.0中也提出了对其应用主动免疫可信计算技术进行动态可信验证的要求.云计算模式下,虚拟机作为用户使用云服务的直接载体,其可信启动是虚拟机运行环境可信的基础.但由于虚拟机以进程的形式运行在物理节点上,其启动过程呈现出… …   相似文献

黄浩翔  张建标  袁艺林  王晓 《软件学报》2023,34(6):2959-2978

基于空间语义信息特征融合的目标检测与分割

下载全文  

高质量的特征表示可以提高目标检测和其他计算机视觉任务的性能.现代目标检测器诉诸于通用的特征金字塔结构以丰富表示能力,但是他们忽略了对于不同方向的路径应当使用不同的融合操作,以满足其对信息流的不同需求.提出了分离式空间语义融合（separated spatial semantic … …   相似文献

郭琪周  袁春 《软件学报》2023,34(6):2776-2788

基于自监督约束的双尺度真实图像盲去噪算法

下载全文  

现存的图像去噪算法在处理加性高斯白噪声上已经取得令人满意的效果,然而其在未知噪声强度的真实噪声图像上泛化性能较差.鉴于深度卷积神经网络极大地促进了图像盲去噪技术的发展,针对真实噪声图像提出一种基于自监督约束的双尺度真实图像盲去噪算法.首先,所提算法借助小尺度网络分支得到的初步去噪… …   相似文献

王迪  潘金山  唐金辉 《软件学报》2023,34(6):2942-2958

软件可信性与供应链安全前沿进展专题前言

下载全文  

随着计算机应用的不断发展,软件已经渗透到国民经济和国防建设的各个领域,在信息社会中发挥着至关重要的作用.同时,各行各业依赖各类软件,软件的可信性与供应链安全已成为学术界和工业届不可忽视的根本性问题.一方面,人们对软件的可靠性、安全性、防危性等传统可信性质以及可解释性、隐私性和公平性等新兴可信性质提出了更多和更高的要求;另一方面,复杂的软件供应链引入的一系列安全问题,导致信息系统的整体安全防护难度也越来越大.保证软件供应链安全是一项宏大的系统化工程,包含软件供应链上软件设计与开发的各个阶段中来自本身的编码过程、工具、设备或供应链上游的代码、模块和服务的安全,以及软件交付渠道安全.… …   相似文献

向剑文  郑征  申文博  常瑞  田聪 《软件学报》2023,34(6):2507-2508

6DoF视频技术研究进展

下载全文  

随着元宇宙概念的兴起,以6自由度（six degree of freedom, 6DoF）视频为代表的新一代交互式媒体技术得到产业界和学术界的广泛关注。6DoF视频隶属于多媒体通信领域,通过计算重构的方式向用户提供包括视角、光照、焦距和视场范围等多个维度的媒体交互与内容变化,能使… …   相似文献

王旭  刘琼  彭宗举  侯军辉  元辉  赵铁松  秦熠  吴科君  刘文予  杨铀 《中国图象图形学报》2023,28(6):1863-1890

基于搜索规则和交叉熵优化的无人机路径规划方法

下载全文  

针对快速扩展随机树(RRP)算法计算效率低、不具备渐进最优性等问题,该文提出一种基于搜索规则和交叉熵优化的改进RRT(IRRT)算法。在路径搜索过程中根据当前节点位置及搜索规则,调整搜索步长及搜索方向,实现高效、快速的初始路径规划。然后,利用交叉熵理论优化初始路径,使得路径具备渐… …   相似文献

胡磊  赵辉  南熠  伊国兴  王昊  曹志慧 《电子与信息学报》2023,45(6):2144-2152

模仿学习综述：传统与新进展

下载全文  

模仿学习是强化学习与监督学习的结合,目标是通过观察专家演示,学习专家策略,从而加速强化学习。通过引入任务相关的额外信息,模仿学习相较于强化学习,可以更快地实现策略优化,为缓解低样本效率问题提供了解决方案。模仿学习已成为解决强化学习问题的一种流行框架,涌现出多种提高学习性能的算法和… …   相似文献

张超  白文松  杜歆  柳伟杰  周晨浩  钱徽 《中国图象图形学报》2023,28(6):1585-1607

锗硅异质结双极型晶体管RF雪崩效应Mextram模型研究

  

传统Mextram模型基于雪崩倍增电流源I_avl来描述硅锗异质结双极晶体管的雪崩倍增效应,忽略了射频条件下因雪崩倍增相位延迟以及载流子传输时间延迟带来的集电结电感延迟问题.对硅锗异质结双极晶体管的雪崩倍增效应进行了研究,解释了导致器件集电结中出现电感延迟的物理机制.提出采用击穿电感和电阻分别表征器件的(Radio Frequency,RF)电感延迟特性和雪崩倍增载流子的贡献,建立考虑RF雪崩倍增效应的电感击穿等效电路模型,并嵌入到Mextram 505.00模型中.基于S参数来描述改进模型的验证结果,与传统模型相比,改进模型在应用频率小于35 GHz条件下,显著改善了硅锗异质结双极晶体管的增益和输出阻抗的精度,且不会对器件模型的直流特性拟合精度产生负面影响.同时从改进模型的电子击穿电感L_jcn、电子击穿电阻R_jcn、输出曲线、增益参数和输出阻抗中提取等效电路模型的敏感参数A_em和V_g.结果表明,基于RF电感击穿等效电路的Mextram 505.00改进模型可以更精确地预测射频条...… …   相似文献

刘静  郑少华  刘茵 《电子学报》2023,51(6):1493-1499

用于5G通信的射频微系统与天线一体化三维扇出型集成封装

  

本文研究了一种用于5G通信的射频微系统与天线一体化三维扇出型集成封装技术.通过在玻璃晶圆上使用双面布线工艺,实现毫米波天线阵列的制作.将TSV转接芯片与射频芯片倒装焊在玻璃晶圆上,再用树脂材料进行注塑,将玻璃晶圆与异构芯片重构成玻璃与树脂永久键合的晶圆.减薄树脂晶圆面漏出TSV转… …   相似文献

夏晨辉  王刚  王波  明雪飞 《电子学报》2023,51(6):1572-1580

多径条件下的雷达辐射源个体识别方法

  

在实际场景中,接收机截获的雷达脉冲信号信噪比较低、多径干扰明显,从中提取的辐射源指纹特征存在畸变,给雷达辐射源个体识别带来严峻挑战.针对该问题,本文提出一种两阶段的信号处理方法.在第一阶段,以精确的脉冲对齐和迭代加权积累提高信号质量,解决低信噪比问题.在第二阶段,定义信号频谱相邻… …   相似文献

刘钊  马爽  张梦杰  柳征 《电子学报》2023,51(6):1654-1665

《软件学报》投稿指南EI北大核心CSCD

下载全文  

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的“中文国际软件学术期刊”,为全球华人同行提供学术交流平台.《软件学报》创刊于19… …   相似文献

《软件学报》2023,(6):2979-2979

征稿启事

下载全文  

  相似文献

《软件学报》2023,34(6)

Si/SiC混合开关最优门极延时及其在逆变器中的应用

  

由大电流硅绝缘栅双极型晶体管（Silicon Insulated-Gate Bipolar Transistor,Si IGBT）和小电流碳化硅金属-氧化物-半导体场效应晶体管（Silicon Carbon Metal-Oxide-Semiconductor Field-Effe… …   相似文献

周郁明  穆世路  杨华  王兵  陈兆权 《电子学报》2023,51(6):1468-1473

基于OMP-CADMM的非合作运动人体ViSAR成像方法

  

合成孔径雷达（Synthetic Aperture Radar,SAR）人体成像技术凭借其高分辨、强穿透、易部署和高安全性,已成为SAR拓展至日常民用领域的关键技术之一.然而现有SAR人体成像方法大多针对固定场景下的静态人体目标进行合作式成像,难以满足开放场景非合作成像应用的需求… …   相似文献

桂术亮  田增山  党思航 《电子学报》2023,51(6):1677-1686

深度学习应用于时序预测研究综述

  

时间序列一般是指对某种事物发展变化过程进行观测并按照一定频率采集得出的一组随机变量。时间序列预测的任务就是从众多数据中挖掘出其蕴含的核心规律并且依据已知的因素对未来的数据做出准确的估计。由于大量物联网数据采集设备的接入、多维数据的爆炸增长和对预测精度的要求愈发苛刻,经典的参数模型… …   相似文献

梁宏涛  刘硕  杜军威  胡强  于旭 《计算机科学与探索》2023,(6):1285-1300

图学习隐私与安全问题研究综述

  

虽然海量的现实需求为人工智能提供了广阔的应用场景,但要求人工智能系统适应复杂的计算环境.然而,传统人工智能算法的研究都假设其应用环境是安全可控的.大量研究和实践工作表明当前的人工智能技术普遍对外在风险考虑不足,相关数据和模型算法存在隐私与安全风险.由于人工智能安全的现实需求以及图… …   相似文献

先兴平  吴涛  乔少杰  吴渝  刘宴兵 《计算机学报》2023,46(6):1184-1212

基于自适应交互反馈的电力终端信任度评估机制

  

在电力系统中,终端设备的信任度评估是实现访问权限分级、数据安全采集的关键技术,对于保证电网安全稳定运行具有重要意义.传统的信任度评估模型通常基于终端设备身份识别、运行状态和交互记录等直接计算信任度评分,在面临间接攻击和节点共谋时,性能较差.针对上述问题,提出一种基于自适应交互反馈… …   相似文献

魏兴慎  高鹏  吕卓  曹永健  周剑  屈志昊 《计算机应用》2023,43(6):1878-1883

基于TrustZone的区块链智能合约隐私授权方法

  

为满足当代数字化背景下数据共享的需求,同时兼顾保护隐私数据安全的必要性,提出一种基于TrustZone的区块链智能合约隐私数据授权方法。区块链系统能够在不同应用场景中实现数据共享,并且满足监管的要求;TrustZone可信执行环境（TEE）技术则为隐私计算提供安全的隔离环境。在整… …   相似文献

陈璐瑀  马小峰  何敬  龚生智  高建 《计算机应用》2023,(6):1969-1978