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

电子与信息学报 2020年第8期42卷 1811-1819页

作者：张颖君陈恺鲍旭华中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院信息工程研究所信息安全国家重点实验室北京100093 网神信息技术(北京)股份有限公司北京100015

当前,应用软件面临的重要问题是不法分子通过软件剽窃、重打包等技术,将恶意负载或广告加载到合法应用软件中,并形成新软件进行发布,给用户和应用软件作者的合法权益带来威胁。为了实现对应用软件剽窃、重打包等安全风险的测评,该文提... 详细信息

当前,应用软件面临的重要问题是不法分子通过软件剽窃、重打包等技术,将恶意负载或广告加载到合法应用软件中,并形成新软件进行发布,给用户和应用软件作者的合法权益带来威胁。为了实现对应用软件剽窃、重打包等安全风险的测评,该文提出一种基于程序执行时间量化分析的软件水印方法(SW_PET)。通过生成多种相互抵消功能的操作组,实现对水印信息的时间化编码,并植入应用软件中;在检测过程中,需要提取相应的水印信息,对照之前的时间编码对应的原始水印,比较不同操作的执行时间,判断水印相似度,进而判别原始水印的存在性,完成应用软件合法性的判断。该方法也可以与其它类型的水印信息相结合,增强水印的鲁棒性。最后,通过搭建仿真模拟器,实现对不同应用软件水印信息的比较和判断,验证该方法的有效性。

关键词：软件水印程序执行水印编码

来源：评论

学校读者我要写书评

暂无评论

网络安全知识图谱关键技术

引用

数据与计算发展前沿 2021年第3期3卷 9-18页

作者：李序连一峰张海霞黄克振中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

【目的】复杂多变的网络攻击活动对网络安全工作带来了严峻挑战。将知识图谱引入网络安全领域,有助于刻画展现安全态势,支持安全决策和预警预测。【方法】本文综述了目前国内外知识图谱相关技术的研究进展及其在网络安全领域的应用现状... 详细信息

【目的】复杂多变的网络攻击活动对网络安全工作带来了严峻挑战。将知识图谱引入网络安全领域,有助于刻画展现安全态势,支持安全决策和预警预测。【方法】本文综述了目前国内外知识图谱相关技术的研究进展及其在网络安全领域的应用现状。【结果】在此基础上,阐述了构建网络安全知识图谱的技术架构,定义了网络安全本体模型,采用深度学习的方法进行实体抽取和关系抽取,利用基于规则和基于知识表示学习的方法进行图谱推理,实现网络安全知识补全和分析挖掘。

关键词：网络安全知识图谱深度学习威胁情报

来源：评论

学校读者我要写书评

暂无评论

面向物联网设备的安全集群证明及修复协议

引用

计算机系统应用 2022年第9期31卷 183-191页

作者：林江南吴秋新冯伟北京信息科技大学理学院北京100192 中国科学院软件研究所可信计算与信息保障实验室北京100190

由于物联网设备本身缺少安全机制,物联网环境面临着严峻的安全挑战.而远程证明能够认证设备真实性和完整性,可以通过远程方式建立对物联网设备的信任.集群证明是远程证明技术的扩展,可以适用于大量设备构成的集群.相较于传统的远程证明... 详细信息

由于物联网设备本身缺少安全机制,物联网环境面临着严峻的安全挑战.而远程证明能够认证设备真实性和完整性,可以通过远程方式建立对物联网设备的信任.集群证明是远程证明技术的扩展,可以适用于大量设备构成的集群.相较于传统的远程证明,集群证明解放了验证设备,提高了验证的效率.目前,集群证明方法主要是针对静态网络,而且对于受损设备也缺乏高效的修复机制.针对这些问题,本文提出了一种基于信誉机制和Merkle树的安全集群证明及修复方法.首先,本文方法使用信誉机制实现了多对一的证明协议,能有效解决单点故障,从设备触发验证,并且能够适用于半动态网络.其次,本文引入Merkle树进行度量,能够快速地识别被感染的代码块,并进行高效地恢复;最后,本文对提出的集群证明方法进行了安全性分析和性能评估,结果表明,本文集群证明在提高了安全性的同时导致的性能开销是可以接受的.

关键词：物联网安全可信计算远程证明集群证明信誉机制默克尔树

来源：评论

学校读者我要写书评

暂无评论

面向理性用户的秘密重构设计模型

引用

通信学报 2021年第11期42卷 54-65页

作者：刘海田有亮唐莹 Jianbing Ni 马建峰贵州财经大学信息学院贵州贵阳550025 中国科学院软件研究所可信计算与信息保障实验室北京100190 贵州大学公共大数据国家重点实验室贵州贵阳550025 贵州财经大学发展规划与学科建设办公室贵州贵阳550025 女王大学电子与计算机学院金斯顿K7L 3N6

理性秘密重构是为了约束理性用户的自利性,在现实生活中确保所有参与用户均能获得共享秘密。然而,如果直接使用现有的理性秘密重构协议,不仅不能实现公平的秘密重构,甚至还会出现用户将虚假的秘密视为真实共享秘密的极端情形。导致上述... 详细信息

理性秘密重构是为了约束理性用户的自利性,在现实生活中确保所有参与用户均能获得共享秘密。然而,如果直接使用现有的理性秘密重构协议,不仅不能实现公平的秘密重构,甚至还会出现用户将虚假的秘密视为真实共享秘密的极端情形。导致上述现象的根本原因是缺乏参考模型,使协议设计者难以全面地考虑理性用户参与秘密重构时的自利行为。为解决该问题,通过形式化描述理性用户模型和理性秘密重构博弈模型来分析理性用户执行秘密重构协议时的先后顺序以及策略选择对公平秘密重构的影响,分别提出了面向纯理性用户环境、面向信誉环境和面向可信用户环境3种适用于不同场景的理性秘密重构协议设计模型。理论证明了所提模型能帮助协议设计者有效约束理性用户的自利性,设计了公平的理性秘密重构协议。此外,基于提出的设计模型,还构造了一个公平的理性秘密重构协议来证明所提模型的可用性。

关键词：秘密共享理性用户重构公平设计模型自利行为

来源：评论

学校读者我要写书评

暂无评论

基于Coq的操作系统任务管理需求层建模及验证

引用

软件学报 2020年第8期31卷 2375-2387页

作者：姜菁菁乔磊杨孟飞杨桦刘波北京控制工程研究所北京100190 中国空间技术研究院北京100094 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行... 详细信息

为确保星上操作系统中任务管理设计的可靠性,利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度,基于星上操作系统任务管理的基本机制,提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模,并在Coq中实现.针对建立的需求层模型,提出6条与实际星上操作系统任务管理一致的性质并进行验证.给出其中一条性质在Coq中的验证过程,结果表明,模型满足该条性质.

关键词：任务管理需求层形式化建模 Coq 形式化验证

来源：评论

学校读者我要写书评

暂无评论

利用通道剪枝技术的实时实例分割方法

引用

太赫兹科学与电子信息学报 2023年第1期21卷 95-101页

作者：宁欣刘江宽李卫军石园支金林南方哲中国科学院半导体研究所北京100083 威富集团形象认知计算联合实验室北京102200 深圳市威富世界有限公司广东深圳518102 新疆大学软件学院新疆乌鲁木齐830091

随着实例分割技术在各种场景中的应用越来越广泛,运行速度和硬件资源占用是该技术在应用中需要考虑的2个重要因素。最近提出的基于图像原型掩码系数的实例分割网络(YOLACT)在运行速度方面做得很好,但是需要设置较大的特征提取网络才能... 详细信息

随着实例分割技术在各种场景中的应用越来越广泛,运行速度和硬件资源占用是该技术在应用中需要考虑的2个重要因素。最近提出的基于图像原型掩码系数的实例分割网络(YOLACT)在运行速度方面做得很好,但是需要设置较大的特征提取网络才能保证分割精确度,这就导致了模型占用的硬件资源较多,同时运行速度也受到了限制。在YOLACT的基础上,提出一种新的模型,对实例分割的特征提取网络进行了优化,先使用基于批量归一化层放缩因子的通道剪枝方法对YOLACT网络进行压缩,然后对压缩后的卷积层和批量归一化层进行融合,最后,在COCO val2017上对本文提出的方法进行了评估。实验结果表明,相比原始的YOLACT网络,该方法的模型文件大小可以减少56.9%,运行速度提升28.6%,运行时显存占用也降低了13.6%,有效地减少了硬件资源占用,并且提升了运行速度。

关键词：实例分割模型压缩通道剪枝运行效率

来源：评论

学校读者我要写书评

暂无评论

云环境下网络感知的虚拟机分配问题的求解方法

引用

吉林大学学报（工学版） 2020年第4期50卷 1455-1464页

作者：吕帅徐玥张桐搏李广力池策吉林大学计算机科学与技术学院长春130012 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100190 吉林大学软件学院长春130012

提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决... 详细信息

提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决较大规模的虚拟机分配问题。最后,通过实验验证了本文算法的合理性和有效性。通过与现有算法在以上5类问题中进行对比,表明了本文算法具有更高的求解效率和更大的求解规模。

关键词：计算机软件虚拟机分配云计算可满足性

来源：评论

学校读者我要写书评

暂无评论

灵境卫士:基于ACP的网络安全平行监管研究

引用

智能科学与技术学报 2023年第2期5卷 247-253页

作者：陈晓光韩金朋杨满智王晓刘昕王震王飞跃澳门科技大学澳门系统工程研究所中国澳门999078 西安交通大学软件学院陕西西安710049 安徽大学人工智能学院安徽合肥230031 中国石油大学(华东)计算机科学与技术学院山东青岛266580 杭州电子科技大学网络空间安全学院浙江杭州310018 中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 北京怀柔平行传感智能研究院北京101407 中国科学院自动化研究所北京市智能化技术与系统工程技术研究中心北京100190

网络安全起源于计算机网络的理论测试,而随着信息与通信技术的发展,网络安全风险呈现出来源广(volume)、方式多(variety)、过程隐(visibility)与损失高(value)的“4V”特性,与之相伴的是网络空间形态与复杂度的双重变化。近期兴起的元... 详细信息

网络安全起源于计算机网络的理论测试,而随着信息与通信技术的发展,网络安全风险呈现出来源广(volume)、方式多(variety)、过程隐(visibility)与损失高(value)的“4V”特性,与之相伴的是网络空间形态与复杂度的双重变化。近期兴起的元宇宙风潮,使以人为中心构建出的网络空间拥有映射出真实世界的能力,也将真实世界暴露在网络安全风险之下。然而,网络安全监管没有跟上网络空间的变化,仍然在网络空间中寻求解决之道。介绍了一种网络安全平行监管系统——灵境卫士,它基于人工系统、计算实验与平行执行的ACP方法搭建,从信息-物理-社会系统(cyber-physical-socialsystems,CPSS)的视角改善当前网络安全监管的窘境。展示了灵境卫士在电信反诈骗与工业物联网场景下的应用方案,为其在不同领域的网络安全监管工作提供启发与借鉴。

关键词：网络安全信息-物理-社会系统知识自动化平行智能平行安全

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的类SM4算法S盒逆向分析

引用

北京邮电大学学报 2020年第5期43卷 118-124页

作者：马向亮李冰杨丹黄克振段晓毅中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 国家信息技术安全研究中心北京100084 北京电子科技学院电子信息工程系北京100070

在建模类攻击场景下,基于多元高斯分布的模板攻击是常用的侧信道逆向分析方法.在同样的场景下,分析了深度学习方法在逆向分析领域的应用,提出了基于深度学习的S盒逆向分析算法.通过选取适用于侧信道逆向分析的深度学习算法、损失函数和... 详细信息

在建模类攻击场景下,基于多元高斯分布的模板攻击是常用的侧信道逆向分析方法.在同样的场景下,分析了深度学习方法在逆向分析领域的应用,提出了基于深度学习的S盒逆向分析算法.通过选取适用于侧信道逆向分析的深度学习算法、损失函数和标签设计,对类SM4算法进行了S盒逆向恢复实验.实验结果表明,使用深度学习进行S盒逆向分析是可行的,且在一定的条件下优于模板攻击;另外,多层感知机算法预测的结果要优于卷积神经网络算法预测的结果.

关键词：深度学习逆向分析 S盒类SM4算法

来源：评论

学校读者我要写书评

暂无评论

脑小血管病冻结步态患者的临床及影像特征分析

引用

中华老年心脑血管病杂志 2021年第5期23卷 467-470页

作者：苏宁刘杰黄进张江霞韩菲倪俊崔丽英田丰朱以诚中国医学科学院北京协和医学院北京协和医院神经科100730 中国科学院软件研究所计算机科学国家重点实验室

目的探讨脑小血管病(CSVD)冻结步态(FOG)患者的临床、影像、认知及步态特征。方法选择就诊于我院神经科CSVD-FOG患者6例,收集患者临床及影像资料,采用改良的Rankin量表(mRS)评分、Barthel指数(BI)和日常生活活动能力量表(ADL)评估日常... 详细信息

目的探讨脑小血管病(CSVD)冻结步态(FOG)患者的临床、影像、认知及步态特征。方法选择就诊于我院神经科CSVD-FOG患者6例,收集患者临床及影像资料,采用改良的Rankin量表(mRS)评分、Barthel指数(BI)和日常生活活动能力量表(ADL)评估日常生活能力。采用简易智能状态检查量表(MMSE),蒙特利尔认知评估量表(MoCA)评估认知功能。结果3例(50.0%)存在淡漠,4例(66.7%)在过去1年内不明原因跌倒至少1次。BI≥90分4例(66.7%),ADL≥5分4例(66.7%),mRS评分2分4例(66.7%)。所有患者影像上均出现脑白质高信号、腔隙、有局限皮质和深部/混合脑微出血及血管周围间隙。5例(83.3%)CSVD影像总负荷为3分,1例(16.7%)为4分。6例患者均有基底核区病变,5例患者有脑干区病变。MMSE评分为(23.50±5.13)分,MoCA评分为(16.67±5.05)分,步速为(0.52±0.37)m/s,右步长为(0.20±0.06)m,左步长为(0.21±0.03)m,步宽为(0.18±0.02)m,3 m转身用时(4.05±3.60)s。结论CSVD-FOG患者临床可合并多种脑血管病危险因素,同时合并多个认知域及步态域受损,可能对FOG发生起重要作用。

关键词：大脑小血管疾病步态认知磁共振成像

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：