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

密码学报(中英文) 2025年第2期12卷 310-321页

作者：马永柳陈星星程庆丰魏福山信息工程大学网络空间安全学院郑州450001

结合区块链的不可追溯性、非对称加密及可信传输等优点,本文提出物联网环境下基于区块链的跨域认证模型,旨在解决跨域认证密钥协商过程中心化问题带来的网络负担,其次提出了一种基于区块链的物联网环境下跨域认证密钥协商协议,通过形式... 详细信息

结合区块链的不可追溯性、非对称加密及可信传输等优点,本文提出物联网环境下基于区块链的跨域认证模型,旨在解决跨域认证密钥协商过程中心化问题带来的网络负担,其次提出了一种基于区块链的物联网环境下跨域认证密钥协商协议,通过形式化分析证明了该协议满足已知会话密钥安全、前向安全、抗临时密钥泄露攻击、抗密钥泄露伪装攻击等安全属性,并在eCK模型下证明协议是安全的.最后将所提协议与其他跨域认证协商协议的安全属性、计算效率及智能合约上的调用时间进行对比,发现所提协议在保证通信安全的同时,能够有效降低物联网客户端计算量、总计算量、信息传输量及智能合约的调用时间,从而达到安全性能和通信消耗之间的平衡.

关键词：认证密钥协商协议区块链 eCK模型 Scyther形式化工具

来源：评论

学校读者我要写书评

暂无评论

基于颜色通道关联性和熵编码的彩色密文图像可逆信息隐藏

引用

计算机研究与发展 2025年第4期62卷 1050-1064页

作者：高光勇季驰夏志华数字取证教育部工程研究中心(南京信息工程大学) 南京210044 南京信息工程大学计算机学院、网络空间安全学院南京210044 暨南大学网络空间安全学院广州510632

随着云计算领域数据安全和用户隐私的需求发展,密文图像可逆信息隐藏(reversible data hiding in encrypted images,RDHEI)技术已经越来越受到人们的关注,但目前大多数的密文图像可逆信息隐藏都是基于灰度图像,它们与彩色图像相比在应... 详细信息

随着云计算领域数据安全和用户隐私的需求发展,密文图像可逆信息隐藏(reversible data hiding in encrypted images,RDHEI)技术已经越来越受到人们的关注,但目前大多数的密文图像可逆信息隐藏都是基于灰度图像,它们与彩色图像相比在应用场景上有很大局限性.此外,由于目前关于密文域的可逆信息隐藏方法主要集中于灰度图像,同时针对彩色图像的特性优化较少,往往无法对彩色载体图像实现更好的性能,所以进一步加强对基于彩色密文图像的可逆信息隐藏算法的研究具有很高的价值.首次提出了一种可以用于云计算环境的基于颜色通道相关性和熵编码的高性能彩色密文图像可逆信息隐藏算法(RDHEI-CE).首先,原始彩色图像的RGB通道被分离并分别得出预测误差.接下来,通过自适应熵编码和预测误差直方图生成嵌入空间.之后通过颜色通道相关性进一步扩展嵌入空间,并将秘密信息嵌入加密图像中.最后,对载密图像进行可逆置乱以抵御唯密文攻击.与大多数最先进的可逆信息隐藏方法相比,实验表明RDHEI-CE算法提供了更高的嵌入率和更好的安全性,并且拓宽了可逆信息隐藏在云端的应用场景.

关键词：可逆信息隐藏密文图像彩色图像颜色通道相关性熵编码

来源：评论

学校读者我要写书评

暂无评论

基于本体与攻击—故障树的智能网联汽车功能安全和网络安全联合分析评估方法

引用

信息网络安全 2025年第4期 598-609页

作者：王舜邱菡何英信息工程大学网络空间安全学院

针对复杂网络物理系统中功能安全和网络安全的动态交互问题,现有S&S联合分析方法由于对组件层的攻击—故障交互作用分析深度与精度不足,难以全面识别综合风险场景并准确量化风险,导致后续风险缓解措施可能存在潜在矛盾,从而削弱综... 详细信息

针对复杂网络物理系统中功能安全和网络安全的动态交互问题,现有S&S联合分析方法由于对组件层的攻击—故障交互作用分析深度与精度不足,难以全面识别综合风险场景并准确量化风险,导致后续风险缓解措施可能存在潜在矛盾,从而削弱综合风险评估的有效性。文章提出一种基于本体与攻击—故障树的智能网联汽车功能安全和网络安全联合分析评估方法（Onto-AFT）,通过构建业务—功能—组件分层依赖关系的本体模型,规范化表征网络物理系统的宏观功能架构与微观组件交互逻辑。同时,利用Datalog语言设计系统的组件、功能、攻击和故障等要素的动态交互规则,实现攻击路径与故障传播路径的联合推理与失效风险量化。该方法将本体论的系统化知识表示能力与攻击—故障树的多逻辑门表达能力相结合,支持复杂交互场景（如攻击触发故障、冗余组件抑制失效）的失效路径推理,并融合通用漏洞评分系统的漏洞评分与故障率数据实现动态风险计算。在智能网联汽车自动紧急制动系统上进行实验,实验结果表明,与传统智能网联汽车联合分析评估方法相比,Onto-AFT在风险识别的全面性与量化精度上均有显著提升,同时具备规则动态更新的高扩展性。

关键词：网络物理系统功能安全和网络安全本体论风险评估

来源：评论

学校读者我要写书评

暂无评论

抗语义分析的脚本融合技术

引用

计算机科学 2025年第1期52卷 393-400页

作者：田博文杨巨熊小兵段爽魏然郑州大学网络空间安全学院郑州450001 信息工程大学网络空间安全学院郑州450001

近年来,脚本程序被广泛应用于计算机领域。脚本程序因其功能强大,执行效率高,相比二进制程序编写更为简单,体积更小,所以在当前网络环境中的使用愈加频繁。目前脚本的混淆技术主要包括编码混淆、结构混淆和加密混淆3种主要类型。然而,... 详细信息

近年来,脚本程序被广泛应用于计算机领域。脚本程序因其功能强大,执行效率高,相比二进制程序编写更为简单,体积更小,所以在当前网络环境中的使用愈加频繁。目前脚本的混淆技术主要包括编码混淆、结构混淆和加密混淆3种主要类型。然而,现有的脚本混淆方式特征较为明显,存在被反混淆风险,一旦脚本被反混淆,其功能很容易被分析和理解。因此,提出了一种抗语义分析的脚本融合技术,通过将具有普通功能的掩体代码与需要保护的目标代码分块后进行深度融合,融合后的代码同时包含两个脚本的代码,不同脚本之间的语义和逻辑相互交错、相互依赖,使语义分析变得更加困难。对融合后代码的理解和分析需要更加强大的语义推理和上下文理解能力。针对PowerShell脚本的实验表明,融合后脚本程序的控制流循环复杂度平均提升了81.51%,极大提高了代码的混淆强度。该技术能够有效地模糊脚本语义,改变控制流特征,在面对ChatGPT的语义分析中表现出良好的效果,目标代码的核心功能难以被分析理解,从而提高了脚本程序的存活性和持久性。

关键词：码保护混淆代码分块融合脚本程序

来源：评论

学校读者我要写书评

暂无评论

一种硬件在环远程在线实验系统设计与实现

引用

实验室研究与探索 2025年第4期44卷 51-55,60页

作者：唐永鹤井靖刘春玲朱兵信息工程大学网络空间安全学院郑州450001

针对硬件类在线实验真实体验感不强、灵活性不足的问题,以嵌入式系统设计课程在线实验为例,设计并实现了一种硬件在环远程在线实验系统。采用三维建模技术模拟线下模块选择、连线等操作,并将相应操作自动投射到后台的实体硬件设备上,同... 详细信息

针对硬件类在线实验真实体验感不强、灵活性不足的问题,以嵌入式系统设计课程在线实验为例,设计并实现了一种硬件在环远程在线实验系统。采用三维建模技术模拟线下模块选择、连线等操作,并将相应操作自动投射到后台的实体硬件设备上,同时采用摄像头远程监测硬件设备的实验现象,增强在线实验的真实体验感。采用现场可编程门阵列(FPGA)作为传感器模块与核心控制板之间的桥梁,通过自动生成和下载FPGA配置逻辑,实现传感器模块与核心控制板的透明动态连接,增强系统的灵活性。结果表明,该系统不仅真实体验感强、操作方便,还克服了硬件类实验的时空限制,大幅拓展了学生参与实验的时间与空间,可有效提升实验设备的利用率。

关键词：硬件在环在线实验嵌入式系统三维建模现场可编程门阵列

来源：评论

学校读者我要写书评

暂无评论

互联网服务场景下基于机器学习的KPI异常检测综述

引用

计算机研究与发展 2025年第1期62卷 207-231页

作者：尚书一李宏佳宋晨卢至彤王利明徐震中国科学院信息工程研究所北京100093 中国科学院大学网络空间安全学院北京100049

关键性能指标(key performance indicator,KPI)异常检测技术是互联网服务智能运维的基础支撑技术.为了提升KPI异常检测的效率与准确性,基于机器学习的KPI异常检测技术成为近年来学术界与工业界的研究热点.在综合分析相关研究的基础上,... 详细信息

关键性能指标(key performance indicator,KPI)异常检测技术是互联网服务智能运维的基础支撑技术.为了提升KPI异常检测的效率与准确性,基于机器学习的KPI异常检测技术成为近年来学术界与工业界的研究热点.在综合分析相关研究的基础上,给出了面向互联网服务的KPI异常检测技术框架.然后,分别针对单变量KPI、多变量KPI和矩阵变量KPI,从挖掘KPI在不同维度域(时间域、度量域、实体域)的依赖模式的角度出发,探讨了用于KPI异常检测的机器学习模型的选择动机.进一步地,以检测性能目标为导向,详细介绍了以准确性目标为核心的KPI异常检测技术(关注如何提升KPI异常检测模型的准确性)和以多目标平衡为核心的KPI异常检测技术(关注如何平衡理论性能与实际应用目标间的关系).最后,梳理了基于机器学习的KPI异常检测技术在KPI监控及预处理、模型通用性、模型可解释性、异常告警管理以及KPI异常检测任务自身局限性5个方面的挑战,同时指出了与之对应的潜在研究方向.

关键词：互联网服务异常检测关键性能指标机器学习智能运维

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的数据流通控制建模及验证

引用

通信学报 2025年第3期46卷 13-27页

作者：李恒李凤华梁琬珩郭云川张玲翠周紫妍中国科学院信息工程研究所北京100085 中国科学院大学网络空间安全学院北京100049 网络空间安全防御全国重点实验室北京100085 自然资源部国家基础地理信息中心北京100830 南京信息工程大学计算机学院、网络空间安全学院江苏南京210044

为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使... 详细信息

为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使用者(含数据经纪人)和数据监管者等实体分别进行形式化建模;随后给出了数据交易过程中,安全需求性质和流通控制属性的计算树时序逻辑形式化规约描述;最后,对上述时间自动机模型进行仿真,并对其性质和属性进行形式化验证与分析。实例分析表明,所提方法可以有效验证数据流通控制机制的可行性、正确性和安全性。

关键词：数据要素流通访问控制时间自动机延伸控制形式化方法验证

来源：评论

学校读者我要写书评

暂无评论

STAR-RIS辅助URLLC-NOMA系统的联合波束成形设计

引用

电子与信息学报 2025年第2期47卷 409-417页

作者：朱建月吴雨桐陈晓谢亚琴许尧张治中南京信息工程大学电子与信息工程学院南京210044 东南大学网络空间安全学院南京211189 南京信息工程大学人工智能学院(未来技术学院) 南京210044

针对超可靠低时延通信(URLLC)场景,该文研究了融合透射与反射功能的智能超表面(STAR-RIS)辅助的非正交多址接入(NOMA)系统的传输设计。具体而言,该文联合设计了基站端的波束成形向量、RIS端的透射相移矩阵和反射相移矩阵,以在满足基站... 详细信息

针对超可靠低时延通信(URLLC)场景,该文研究了融合透射与反射功能的智能超表面(STAR-RIS)辅助的非正交多址接入(NOMA)系统的传输设计。具体而言,该文联合设计了基站端的波束成形向量、RIS端的透射相移矩阵和反射相移矩阵,以在满足基站总功率约束的条件下实现能耗最小化。为解决所提出的非凸问题,该文首先分析了有限块长传输下的用户速率函数特性,并据此将优化问题进行等价转换。随后,采用交替优化和半正定松弛(SDR)方法来解决联合波束设计问题。实验结果表明,与正交多址接入和传统RIS方案相比,所提出的方法在能耗性能上有显著提升。

关键词：智能反射面非正交多址接入技术波束成形设计

来源：评论

学校读者我要写书评

暂无评论

基于系统调用接口的Windows驱动程序漏洞挖掘方法

引用

计算机应用与软件 2025年第1期42卷 359-366页

作者：毕野川彭建山林志强战略支援部队信息工程大学网络空间安全学院河南郑州450001

面向Windows内核和驱动程序的模糊测试有无效种子变异和效率不高的问题。在基于系统调用接口的模糊测试的基础上使用Intel Processor Trace提供代码覆盖率进行驱动程序的漏洞挖掘,并通过维持接口参数数据结构进行针对性的数据变异,实现... 详细信息

面向Windows内核和驱动程序的模糊测试有无效种子变异和效率不高的问题。在基于系统调用接口的模糊测试的基础上使用Intel Processor Trace提供代码覆盖率进行驱动程序的漏洞挖掘,并通过维持接口参数数据结构进行针对性的数据变异,实现驱动程序的模糊测试框架——kifuzzer。实验证明,kifuzzer比其他针对ioctl(input/output control)的驱动程序挖掘方法效率大幅提高。

关键词： Windows内核安全漏洞挖掘驱动程序 ioctl的模糊测试

来源：评论

学校读者我要写书评

暂无评论

融合图结构学习的物联网僵尸网络多分类检测研究

引用

小型微型计算机系统 2025年第2期46卷 456-464页

作者：李沛衡林宏刚成都信息工程大学网络空间安全学院成都610225 成都信息工程大学先进密码技术与系统安全四川省重点实验室成都610225

针对目前物联网僵尸网络多分类检测方法存在表征能力弱、难以剔除特征冗余和噪声、识别准确率低等问题,本文提出一种融合图结构学习的多分类检测方法.该方法利用阻尼增量统计多个时间片网络流量的特征对网络流量样本进行重构,设计自适... 详细信息

针对目前物联网僵尸网络多分类检测方法存在表征能力弱、难以剔除特征冗余和噪声、识别准确率低等问题,本文提出一种融合图结构学习的多分类检测方法.该方法利用阻尼增量统计多个时间片网络流量的特征对网络流量样本进行重构,设计自适应图结构学习方法获取网络流量特征的时空关系表示,结合图正则化剔除特征冗余和噪声;基于时空图卷积神经网络在时空两个层面提取特征,实现对物联网僵尸网络攻击的多分类检测.在多个数据集上的实验结果表明,本文提出的方法具有良好的表征能力,能有效剔除特征中的冗余及噪声,提升检测的准确率,在多分类效果上优于其他模型.

关键词：物联网僵尸网络图神经网络图结构学习时空图卷积多分类检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：