期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
不确定性网络攻击场景下的多状态因果表示与推理模型
1
作者 董春玲 冯宇 范永开 《信息网络安全》 北大核心 2025年第5期778-793,共16页
网络安全领域当前面临的挑战之一是对网络攻击的不确定性因素进行系统分析。为应对该挑战,攻击图工具被广泛应用于网络安全领域,旨在描述攻击者行为特征与构建攻击场景。然而,当前的攻击图工具,如属性攻击图、状态攻击图以及贝叶斯攻击... 网络安全领域当前面临的挑战之一是对网络攻击的不确定性因素进行系统分析。为应对该挑战,攻击图工具被广泛应用于网络安全领域,旨在描述攻击者行为特征与构建攻击场景。然而,当前的攻击图工具,如属性攻击图、状态攻击图以及贝叶斯攻击图等,并没有全面且综合地考虑网络攻击中存在的不确定性因素,因而无法提供一个统一的网络不确定性因素描述框架。除此之外,当前攻击图中的计算节点风险概率的相关算法时间复杂度较高,难以应用实践。为解决上述问题,文章提出多状态-动态不确定性因果攻击图(M-DUCAG)模型与基于单向因果链的节点风险概率推理(One Side-CCRP)算法,以实现网络不确定性因素的表示与推理。M-DUCAG模型能够表示节点的多个状态,能够结合告警信息更加准确地描述网络攻击过程中的不确定性因素。One Side-CCRP算法通过展开节点上游因果链,有效提高推理的效率与准确性。实验结果表明,M-DUCAG模型在应对参数扰动方面具有鲁棒性,能够有效表示网络攻击过程中的不确定性因素。与变量消除法相比,One Side-CCRP算法在有限数量告警证据下具有更高的推理效率,能够满足现实推理应用需求。 展开更多
关键词 动态不确定性因果攻击图 概率攻击图 不确定性因素 漏洞
在线阅读 下载PDF
云环境下安全的可验证多关键词搜索加密方案 被引量：10
2
作者 张键红 武梦龙 +3 位作者 王晶 刘沛 姜正涛 彭长根 《通信学报》 EI CSCD 北大核心 2021年第4期139-149,共11页
云计算的高虚拟化与高可扩展性等优势,使个人和企业愿意外包加密数据到云端服务器。然而,加密后的外包数据破坏了数据间的关联性。尽管能够利用可搜索加密(SE)进行加密数据的文件检索,但不可信云服务器可能篡改、删除外包数据或利用已... 云计算的高虚拟化与高可扩展性等优势,使个人和企业愿意外包加密数据到云端服务器。然而,加密后的外包数据破坏了数据间的关联性。尽管能够利用可搜索加密(SE)进行加密数据的文件检索,但不可信云服务器可能篡改、删除外包数据或利用已有搜索陷门来获取新插入文件相关信息。此外,现有单关键词搜索由于限制条件较少,导致搜索精度差,造成带宽和计算资源的浪费。为了解决以上问题,提出一种高效的、可验证的多关键词搜索加密方案。所提方案不仅能够支持多关键词搜索,也能实现搜索模式的隐私性和文件的前向安全性。此外,还能实现外包数据的完整性验证。通过严格的安全证明,所提方案在标准模型下被证明是安全的,能够抵抗不可信云服务器的离线关键词猜测攻击(KGA)。最后,通过与最近3种方案进行效率和性能比较,实验结果表明所提方案在功能和效率方面具有较好的综合性能。 展开更多
关键词 云计算 q-ABDHE安全假设 多关键词搜索 安全证明
在线阅读 下载PDF
空气质量指数混合预测模型及实证
3
作者 周子渊 张梓萱 郭晓梅 《计算机工程与设计》 北大核心 2025年第8期2365-2372,共8页
针对单来源污染物数据的空气质量指数(AQI)预测问题,构建了基于CNN-LSTM-AdaBoost混合框架的AQI预测模型。通过卷积神经网络(CNN)提取污染物间的局部交互特征,利用长短期记忆网络(LSTM)构建长期时序趋势,采用自适应提升(AdaBoost)集成... 针对单来源污染物数据的空气质量指数(AQI)预测问题,构建了基于CNN-LSTM-AdaBoost混合框架的AQI预测模型。通过卷积神经网络(CNN)提取污染物间的局部交互特征,利用长短期记忆网络(LSTM)构建长期时序趋势,采用自适应提升(AdaBoost)集成学习模块动态加权不同时间尺度的预测结果,实现AQI高精度预测。同时引入随机森林特征归因,识别关键污染物,采用沙普利加性解释(shap)分析不同时间尺度特征对预测值的贡献度。通过对北京市2022-2025年监测站点数据进行实证研究表明,该混合模型的决定系数R^(2)达到0.9866,较传统LSTM模型有显著提升,且在可解释性方面表现出色。 展开更多
关键词 空气质量指数 卷积神经网络 长短期记忆网络 自适应提升算法 集成学习 特征归因 深度学习
在线阅读 下载PDF
面向失配的图像隐写分析研究进展
4
作者 李芸伟 张祝薇 +2 位作者 于丽芳 曹鹏 曹刚 《北京交通大学学报》 CAS CSCD 北大核心 2024年第2期102-114,共13页
尽管隐写分析在实验室环境下取得了显著的进步,但是在实际应用中,由于训练集和测试集的载体来源、隐写算法和嵌入率经常不同,导致隐写分析器性能下降,这种现象称为失配,严重阻碍了隐写分析的实际应用.因此,对目前面向失配问题的主要隐... 尽管隐写分析在实验室环境下取得了显著的进步,但是在实际应用中,由于训练集和测试集的载体来源、隐写算法和嵌入率经常不同,导致隐写分析器性能下降,这种现象称为失配,严重阻碍了隐写分析的实际应用.因此,对目前面向失配问题的主要隐写分析方法进行了分析与总结.根据解决失配问题的思路,将现有失配隐写分析方法分为3类,即设计训练集、取证辅助和无监督领域适应,并对各类方法进行梳理和对比.基于对比结果,探讨了当前基于无监督领域适应的深度隐写分析模型面临的挑战以及未来的发展方向.研究结果表明:基于无监督领域适应的深度隐写分析模型是目前解决失配问题的最有效方案,领域对齐、中间域桥接、对抗学习等是设计该类深度隐写分析模型的主流思想;引入类别等细粒度信息以提高基于无监督领域适应的深度隐写分析模型的性能是未来研究的方向;针对不平衡样本及单/小样本等更恶劣的失配问题的解决方案仍待进一步探索. 展开更多
关键词 隐写分析 深度学习 失配 无监督领域适应
在线阅读 下载PDF
联合内容和质量约束的真实图像去噪
5
作者 朱皓晨 赵墨 曹刚 《信号处理》 CSCD 北大核心 2024年第6期1141-1147,共7页
真实图像去噪指从真实的数字照片图像中移除噪声失真,以提升图像的视觉质量。当前性能最优的真实图像去噪模型普遍依赖于逐像素对应的干净/噪声图像对样本集,但其采集困难。针对该挑战,本文提出了一种联合内容和质量约束的真实图像去噪... 真实图像去噪指从真实的数字照片图像中移除噪声失真,以提升图像的视觉质量。当前性能最优的真实图像去噪模型普遍依赖于逐像素对应的干净/噪声图像对样本集,但其采集困难。针对该挑战,本文提出了一种联合内容和质量约束的真实图像去噪网络CQDeNet,仅利用图像级标注样本完成训练并实现有效去噪。CQDeNet主要包含图像内容约束和图像质量约束两个前后联结的子网络。内容约束网络采用单噪声图像训练骨干网络TECDNet,通过噪声图像中的潜在干净图像信号还原内容信息。质量约束网络利用无参考图像质量评估来约束生成图像的质量,协作引导内容约束网络的优化方向。通过联合这两个子网络,CQDeNet解除了当前无监督方法对输入图像噪声残差零均值假设的限制,因此具有更强的泛化能力和扩展性。测试结果表明,所提方法能有效去除真实图像中噪声,在SSID和DND数据集上的平均PSNR值分别达到34.83 dB和37.21 dB。 展开更多
关键词 真实图像去噪 深度学习 图像内容约束网络 图像质量约束网络
在线阅读 下载PDF
互动新闻的前世、今生与未来:媒介变迁与互动新闻演进研究 被引量：7
6
作者 王妍 李霞 《现代传播（中国传媒大学学报）》 CSSCI 北大核心 2019年第9期65-69,101,共6页
互动新闻从21世纪之初就开始被新闻业界与学界频繁提及与讨论,其能指的现实对象也在随着时代、技术、理念发生变化。本文对互动新闻实践及理论进行了历时性与整体性综合梳理,围绕适应信息传播技术发展与媒介环境变化的互动新闻理论框架... 互动新闻从21世纪之初就开始被新闻业界与学界频繁提及与讨论,其能指的现实对象也在随着时代、技术、理念发生变化。本文对互动新闻实践及理论进行了历时性与整体性综合梳理,围绕适应信息传播技术发展与媒介环境变化的互动新闻理论框架展开研究,回顾互动新闻的"前世",观照其"今生",预测其未来,提出基于人与人互动、人与新闻作品互动、数据控制型、场景控制型、内容控制型等互动新闻相关定义及分类方法,以及未来互动新闻的创新形态。 展开更多
关键词 互动新闻 数据新闻 浸入式新闻 5G 万物皆媒
在线阅读 下载PDF
基于进程代数的Otway-Rees协议的形式化验证
7
作者 蔡雨桐 王勇 +2 位作者 王然然 姜正涛 代桂平 《计算机科学》 CSCD 北大核心 2021年第S01期477-480,共4页
Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证... Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证自己的身份,还可以阻止重放攻击和窃听,允许修改检测。对安全协议的分析是信息时代无法回避的关键问题,事实证明,形式化方法是安全协议分析更为可靠和有效的途径。此协议的形式化验证对于工程实施具有重要意义。对Otway-Rees协议进行抽象处理,得到抽象模型,在此基础上给出基于进程代数的形式化描述,并进行形式化验证。验证结果表明,此协议形式的并行系统展现出了期望的外部行为。 展开更多
关键词 Otway-Rees 安全协议 协议验证 形式化 进程代数
在线阅读 下载PDF
基于进程代数的Yahalom协议正确性的形式化验证
8
作者 王然然 王勇 +2 位作者 蔡雨桐 姜正涛 代桂平 《计算机科学》 CSCD 北大核心 2021年第S01期481-484,共4页
通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具... 通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密钥加密对话内容保证双方对话的安全。Yahalom协议的形式化验证具有很重要的意义。为了使可信第三方在通信双方之间安全地分配会话密钥,文中对通信过程进行理论化形式的验证。文中基于可信平台的随机会话密钥分配过程进行了抽象化的处理,给出了抽象模型中各个实体状态及状态变迁的操作语义描述,建立了Yahalom协议结构化的操作语义并发计算模型,主要通过ACP公理系统对Yahalom协议的状态变迁系统进行了形式化的验证,验证结果表明Yahalom协议系统地展示了期望的外部行为,从理论上证明了基于进程代数的Yahalom协议是可行的。 展开更多
关键词 Yahalom协议 进程代数 形式化的验证 可信第三方 ACP公理系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部