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

计算机科学与探索 2019年第6期13卷 1005-1015页

作者：商显震韩萌孙毓忠孙宇宁陈旭胡满满梅御东北方民族大学计算机科学与工程学院银川750021 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 云南大学软件学院昆明650091

不同皮肤病间发病率的差异导致了皮肤病数据类不平衡现象,对使用机器学习方法构建高效、准确的皮肤病诊断模型带来了巨大挑战。提出一种融合生成对抗网络(generative adversarial networks,GAN)和朴素贝叶斯的皮肤病二分类诊断方法:在... 详细信息

不同皮肤病间发病率的差异导致了皮肤病数据类不平衡现象,对使用机器学习方法构建高效、准确的皮肤病诊断模型带来了巨大挑战。提出一种融合生成对抗网络(generative adversarial networks,GAN)和朴素贝叶斯的皮肤病二分类诊断方法:在皮肤病数据集上训练朴素贝叶斯二分类器作为诊断器,创新性地使用GAN为前者生成补充训练样本,使其训练集正负类样本达到平衡。针对皮肤病诊断多分类问题,提出一种融合生成对抗网络和朴素贝叶斯的多分类诊断方法:使用GAN和朴素贝叶斯训练皮肤病单病种二分类器,并结合了词频-逆文档频率算法(term frequency-inverse document frequency,TF-IDF),将多个二分类器组合成一个多分类器作为诊断器。与六种诊断方法进行了对比实验,提出的两种皮肤病诊断方法准确率和召回率均有提升。

关键词：皮肤病诊断朴素贝叶斯(NB) 词频-逆文档频率(TF-IDF)算法生成对抗网络(GAN) 类不平衡数据

来源：评论

学校读者我要写书评

暂无评论

身份管理系统身份联合互操作能力研究

引用

信息安全研究 2019年第10期5卷 929-934页

作者：张严张立武中国科学院软件研究所可信计算与信息保障实验室

随着电子认证2.0时代的到来,身份管理边界不断演变,并逐渐被打破,通过身份联合方案实现身份管理服务间的互联互通已成为当前网络应用的主要模式,涌现了包括安全断言置标语言(SAML),OpenID,OAuth,FIDO等在内的一系列身份联合方案和标准.... 详细信息

随着电子认证2.0时代的到来,身份管理边界不断演变,并逐渐被打破,通过身份联合方案实现身份管理服务间的互联互通已成为当前网络应用的主要模式,涌现了包括安全断言置标语言(SAML),OpenID,OAuth,FIDO等在内的一系列身份联合方案和标准.在我国访问量最高的网站和使用量最大的移动APP中,大部分均提供身份联合服务或支持通过其他应用的账号进行用户登录.但是,目前的身份联合相关实现均与特定的单一身份联合方案相绑定,也缺乏不同身份联合方案间的互操作参考.为了解决这一问题,首先对现有身份联合方案与标准进行了分析,总结了身份管理系统在进行身份联合操作时可以实现的不同功能作为身份管理系统的身份联合互操作能力,之后针对这些能力,给出了身份管理系统应为实现这些能力而必须达到的功能与安全要求,最后,以OpenID标准为例,给出了所提出的身份联合能力要求在实际身份联合过程中的应用方法,验证了相关要求的可用性.

关键词：身份管理身份联合互操作网络安全鉴别授权

来源：评论

学校读者我要写书评

暂无评论

一种基于自适应监测的云计算系统故障检测方法

引用

计算机学报 2018年第6期41卷 1332-1345页

作者：王焘顾泽宇张文博徐继伟魏峻钟华计算机科学国家重点实验室北京100190 中国科学院软件研究所北京100190

监测技术是保障云计算系统性能与可靠性的关键,管理员通过分析监测数据可以了解系统运行状态,从而采取措施以及早发现并解决问题.然而,云计算系统规模巨大,结构复杂,大量的监测数据需要搜集、传输、存储和分析,给系统带来巨大性能开销.... 详细信息

监测技术是保障云计算系统性能与可靠性的关键,管理员通过分析监测数据可以了解系统运行状态,从而采取措施以及早发现并解决问题.然而,云计算系统规模巨大,结构复杂,大量的监测数据需要搜集、传输、存储和分析,给系统带来巨大性能开销.那么,如何在提高故障检测的准确性和及时性的同时,减少监测开销成为亟待解决的问题.为了应对以上问题,该文提出一种基于自适应监测的云计算系统故障检测方法.首先,利用相关分析建立度量间的相关性,利用度量关联图选择关键度量进行监测;而后,利用主成分分析得到监测数据的主特征向量以刻画系统运行状态,进而基于余弦相似度评估系统异常程度;最后,建立可靠性模型以预测系统可能出现故障的时间,基于此动态调整监测周期.实验结果表明,该文所提出的方法能够适应云环境下负载的动态变化,准确评估系统异常程度,自动调整监测频率以提高系统在异常状况下故障检测的准确性与及时性,降低系统在正常运行过程中的监测开销.

关键词：故障检测自适应监测云计算相关分析主成分分析

来源：评论

学校读者我要写书评

暂无评论

基于有限状态机的操作系统需求层形式化验证

引用

空间控制技术与应用 2019年第2期45卷 48-55页

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

操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需... 详细信息

操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.

关键词：操作系统形式化验证系统需求有限状态机 Coq

来源：评论

学校读者我要写书评

暂无评论

LiCi分组密码算法的不可能差分分析

引用

电子与信息学报 2019年第7期41卷 1610-1617页

作者：韦永壮史佳利李灵琛桂林电子科技大学广西密码学与信息安全重点实验室桂林541004 桂林电子科技大学广西无线宽带通信与信号处理重点实验室桂林541004 桂林电子科技大学广西高校云计算与复杂系统重点实验室桂林541004 中国科学院大学北京100049 中国科学院软件研究所北京100190

LiCi是由Patil等人(2017)提出的轻量级分组密码算法。由于采用新型的设计理念,该算法具有结构紧凑、能耗低、占用芯片面积小等优点,特别适用于资源受限的环境。目前该算法的安全性备受关注,Patil等人声称:16轮简化算法足以抵抗经典的差... 详细信息

LiCi是由Patil等人(2017)提出的轻量级分组密码算法。由于采用新型的设计理念,该算法具有结构紧凑、能耗低、占用芯片面积小等优点,特别适用于资源受限的环境。目前该算法的安全性备受关注,Patil等人声称:16轮简化算法足以抵抗经典的差分攻击及线性攻击。该文基于S盒的差分特征,结合中间相遇思想,构造了一个10轮的不可能差分区分器。基于此区分器,向前后各扩展3轮,并利用密钥编排方案,给出了LiCi的一个16轮的不可能差分分析方法。该攻击需要时间复杂度约为283.08次16轮加密,数据复杂度约为259.76选择明文,存储复杂度约为276.76数据块,这说明16轮简化的LiCi算法无法抵抗不可能差分攻击。

关键词：轻量分组密码算法 LiCi算法不可能差分分析差分特征

来源：评论

学校读者我要写书评

暂无评论

基于WSAN的物联网软件分布式知识框架及其实现方法

引用

计算机科学 2019年第1期46卷 148-154页

作者：刘正浩张广泉苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190

随着物联网的深入发展和智能传感器的出现,传统软件逐渐暴露出自身性能的不足。为满足设备自治的需求和利用边缘网络的计算资源,分析了物联网软件的特征,提出了物联网软件的分布式知识框架及其具体实现方法。通过识别物联网软件的环境... 详细信息

随着物联网的深入发展和智能传感器的出现,传统软件逐渐暴露出自身性能的不足。为满足设备自治的需求和利用边缘网络的计算资源,分析了物联网软件的特征,提出了物联网软件的分布式知识框架及其具体实现方法。通过识别物联网软件的环境逻辑并定义环境逻辑的演化规则,使环境逻辑可以嵌入底层无线节点。依靠智能传感器监控环境变化、触发软件逻辑,实现软件的正确执行。最后依据现实场景的运行情况及相关指标的分析,来说明所提方法的适用性。

关键词：物联网软件环境逻辑演化规则智能传感器

来源：评论

学校读者我要写书评

暂无评论

软件与网络安全研究综述

引用

软件学报 2018年第1期29卷 42-68页

作者：刘剑苏璞睿杨珉和亮张源朱雪阳林惠民中国科学院信息工程研究所网络测评技术重点实验室北京100195 北京市网络安全技术重点实验室(中国科学院信息工程研究所) 北京100195 中国科学院软件研究所可信计算与信息保障实验室北京100190 复旦大学软件学院上海201203 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

互联网已经渗入人类社会的各个方面,极大地推动了社会进步.与此同时,各种形式的网络犯罪、网络窃密等问题频繁发生,给社会和国家安全带来了极大的危害.网络安全已经成为公众和政府高度关注的重大问题.由于互联网的大量功能和网络上的各... 详细信息

互联网已经渗入人类社会的各个方面,极大地推动了社会进步.与此同时,各种形式的网络犯罪、网络窃密等问题频繁发生,给社会和国家安全带来了极大的危害.网络安全已经成为公众和政府高度关注的重大问题.由于互联网的大量功能和网络上的各种应用都是由软件实现的,软件在网络安全的研究与实践中扮演着至关重要的角色.事实上,几乎所有的网络攻击都是利用系统软件或应用软件中存在的安全缺陷实施的.研究新形势下的软件安全问题日益迫切.从恶意软件、软件漏洞和软件安全机制这3个方面综述了国内外研究现状,进而分析软件生态系统面临的全新安全挑战与发展趋势.

关键词：软件网络安全恶意软件软件漏洞软件安全机制

来源：评论

学校读者我要写书评

暂无评论

游戏智能中的AI——从多角色博弈到平行博弈

引用

智能科学与技术学报 2020年第3期2卷 205-213页

作者：沈宇韩金朋李灵犀王飞跃中国科学院大学人工智能学院北京100049 中国科学院自动化研究所复杂系统管理与控制国家重点实验室北京100190 西安交通大学软件学院陕西西安710049 印第安纳大学-普渡大学印第安纳波利斯分校电子与计算机工程系美国印第安纳波利斯IN46202 青岛智能产业技术研究院山东青岛266109

总结了国内外人工智能技术在游戏领域的研究进展,分析了游戏领域的研究进步对于现实社会的意义。针对强化学习中免模型方法存在的仿真与真实的鸿沟、基于模型的方法缺乏通用性的问题,提出平行博弈的思想和方法,介绍了平行博弈在解决现... 详细信息

总结了国内外人工智能技术在游戏领域的研究进展,分析了游戏领域的研究进步对于现实社会的意义。针对强化学习中免模型方法存在的仿真与真实的鸿沟、基于模型的方法缺乏通用性的问题,提出平行博弈的思想和方法,介绍了平行博弈在解决现有单角色博弈和多角色博弈问题上的先进之处。认为虚实结合的平行博弈方法将成为迈向通用人工智能的奠基石。

关键词：游戏智能多角色博弈平行博弈深度强化学习人工智能

来源：评论

学校读者我要写书评

暂无评论

评《类SIMON算法参数等价类研究》

引用

密码学报 2020年第4期7卷 565-565页

作者：吴文玲《密码学报》中国科学院软件研究所可信计算与信息保障实验室

SIMON算法是美国国家安全局(NSA)于2013年发布的轻量级分组密码,支持多种分组长度和密钥长度,具有优良的软硬件实现性能,可以满足各种应用环境的安全需求。SIMON算法的加密轮变换非常简洁,只包含循环移位、按位与和按位异或运算,已经成...

SIMON算法是美国国家安全局(NSA)于2013年发布的轻量级分组密码,支持多种分组长度和密钥长度,具有优良的软硬件实现性能,可以满足各种应用环境的安全需求。SIMON算法的加密轮变换非常简洁,只包含循环移位、按位与和按位异或运算,已经成为一些密码算法设计的仿效对象。直至目前为止,NSA也没有公开SIMON算法的设计原理以及安全性自评估结果,因此SIMON算法引起了密码学术界的研究兴趣,有学者通过等价类划分和计算机搜索指出SIMON算法的参数选取并不是最优的。

关键词：

来源：评论

学校读者我要写书评

暂无评论

5G移动通信网络安全研究

引用

软件学报 2018年第6期29卷 1813-1825页

作者：冯登国徐静兰晓计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

第五代(fifth gneration,简称5G)移动通信网络(简称5G网络或5G),是为构建网络型社会并实现万物互联的宏伟目标而提出的下一代移动网络.随着LTE等第四代移动通信网络进入规模化商用阶段,5G网络的研究已成为世界各国的关注焦点.5G网络的实... 详细信息

第五代(fifth gneration,简称5G)移动通信网络(简称5G网络或5G),是为构建网络型社会并实现万物互联的宏伟目标而提出的下一代移动网络.随着LTE等第四代移动通信网络进入规模化商用阶段,5G网络的研究已成为世界各国的关注焦点.5G网络的实现,需要依赖于系统架构和核心技术的变革与创新.目前,5G网络还处于技术和标准的初级研究阶段.5G网络的新架构、新业务、新技术对安全提出了新的挑战.简述了5G的性能指标、关键技术、应用场景及标准制定的进展,分析了5G网络的安全需求及其所面临的技术挑战.基于目前已有的研究工作和标准研制情况,提炼了5G安全框架,归纳并阐述了若干安全关键问题及其解决方案,展望了5G网络安全的未来研究方向.

关键词： 5G网络 5G网络安全认证框架切片安全隐私保护

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：