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

软件学报 2019年第1期30卷 80-109页

作者：张健张超玄跻峰熊英飞王千祥梁彬李炼窦文生陈振邦陈立前蔡彦计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 清华大学网络科学与网络空间研究院北京100084 武汉大学计算机学院湖北武汉430072 高可信软件技术教育部重点实验室(北京大学) 北京100871 华为技术有限公司北京100095 中国人民大学信息学院北京100872 中国科学院计算技术研究所北京100190 国防科技大学计算机学院湖南长沙410073

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 详细信息

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.

关键词：程序分析软件质量保障静态分析动态分析

来源：评论

学校读者我要写书评

暂无评论

软件与网络安全研究综述

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

SM4的快速软件实现技术

引用

中国科学院大学学报（中英文） 2018年第2期35卷 180-187页

作者：郎欢张蕾吴文玲中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190

SM4是中国分组密码国家标准,广泛应用于各种信息系统和安全产品。某些应用环境对密码算法的软件实现性能有很高的需求。目前SM4的软件实现方法仅限于查表实现,因此,研究SM4算法的快速软件实现技术很重要。利用SIMD技术,给出SM4的软件优... 详细信息

SM4是中国分组密码国家标准,广泛应用于各种信息系统和安全产品。某些应用环境对密码算法的软件实现性能有很高的需求。目前SM4的软件实现方法仅限于查表实现,因此,研究SM4算法的快速软件实现技术很重要。利用SIMD技术,给出SM4的软件优化实现。与目前基于查表的软件实现相比,它有明显优势。在Intel Core i7-6700处理器上,相比于查表方法,利用SIMD技术的软件实现性能提高1.38倍。

关键词： SM4 软件优化实现 SIMD技术

来源：评论

学校读者我要写书评

暂无评论

认证加密算法研究进展

引用

密码学报 2018年第1期5卷 70-82页

作者：吴文玲中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院软件研究所可信计算与信息保障实验室北京100190

认证加密算法是能够同时保护数据机密性、完整性、以及数据源认证的对称密码算法,在现实生活中有着广泛的应用需求.在CAESAR竞赛的推动下,认证加密算法研究发展迅速,推出了一批新算法,也给出了不少分析结果,但进展并不顺利.从现有成果看... 详细信息

认证加密算法是能够同时保护数据机密性、完整性、以及数据源认证的对称密码算法,在现实生活中有着广泛的应用需求.在CAESAR竞赛的推动下,认证加密算法研究发展迅速,推出了一批新算法,也给出了不少分析结果,但进展并不顺利.从现有成果看,无论是安全目标的凝练刻画,还是算法设计的理念,或是分析评估的基本策略,都呈现出一种五花八门、百家齐放的局面.本文首先回顾认证加密算法的发展历程,系统梳理认证加密算法的安全模型;然后以CAESAR竞赛候选算法为对象,归类总结认证加密算法的各种设计理念,介绍各类认证加密算法的优势和最新的安全性评估结果;最后探讨认证加密算法的发展趋势和存在问题.

关键词：认证加密算法工作模式分组密码杂凑函数流密码

来源：评论

学校读者我要写书评

暂无评论

基于贝叶斯攻击图的网络入侵意图识别方法

引用

计算机工程与应用 2019年第22期55卷 73-79页

作者：王洋吴建英黄金垒胡浩刘玉岭信息工程大学三院郑州450001 北京市公安局网络安全保卫总队北京100010 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学网络空间安全学院北京101408

现有入侵意图识别方法对报警证据的有效性缺乏考虑,影响了入侵意图识别的准确性。为此提出基于贝叶斯攻击图的入侵意图识别方法。首先建立贝叶斯攻击图模型,然后通过定义报警的置信度及报警间的关联强度,去除低置信水平的孤立报警;根据... 详细信息

现有入侵意图识别方法对报警证据的有效性缺乏考虑,影响了入侵意图识别的准确性。为此提出基于贝叶斯攻击图的入侵意图识别方法。首先建立贝叶斯攻击图模型,然后通过定义报警的置信度及报警间的关联强度,去除低置信水平的孤立报警;根据提取到的有效报警证据进行贝叶斯后验推理,动态更新攻击图中各状态节点遭受攻击的概率,识别网络中已发生和潜在的攻击行为。实验结果表明,该方法能有效提取报警证据,提高网络入侵预测的准确性。

关键词：意图识别贝叶斯攻击图漏洞利用报警置信度报警关联强度

来源：评论

学校读者我要写书评

暂无评论

基于超图随机游走标签扩充的微博推荐方法

引用

软件学报 2019年第11期30卷 3397-3412页

作者：马慧芳张迪赵卫中史忠植西北师范大学计算机科学与工程学院甘肃兰州730070 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 华中师范大学计算机学院湖北武汉430079 中国科学院计算技术研究所智能信息处理重点实验室北京100190

向微博用户推荐对其有价值和感兴趣的内容,是改善用户体验的重要途径.通过分析微博特点以及现有微博推荐算法的缺陷,利用标签信息表征用户兴趣,提出一种结合标签扩充与标签概率相关性的微博推荐方法.首先,考虑到大部分微博用户未给自己... 详细信息

向微博用户推荐对其有价值和感兴趣的内容,是改善用户体验的重要途径.通过分析微博特点以及现有微博推荐算法的缺陷,利用标签信息表征用户兴趣,提出一种结合标签扩充与标签概率相关性的微博推荐方法.首先,考虑到大部分微博用户未给自己添加任何标签或添加标签过少,视用户发布微博为超边,微博中的词视为超点来构建超图,并以一定的加权策略对超边和超点进行加权,通过在超图上随机游走,得到一定数量的关键词,对微博用户标签进行扩充;然后,采用相关性标签权重加权方案构建用户-标签矩阵,利用标签之间的概率相关性,构造标签相似性矩阵,对用户-标签矩阵进行更新,使该矩阵既包含用户兴趣信息,又包含标签与标签之间的关系.以新浪微博公开API抓取的微博信息作为实验数据进行了一系列的实验和分析,结果表明,该推荐算法具有较好的效果.

关键词：超图随机游走标签扩充概率相关性用户-标签矩阵微博推荐

来源：评论

学校读者我要写书评

暂无评论

基于吸收Markov链的网络入侵路径预测方法

引用

计算机研究与发展 2018年第4期55卷 831-845页

作者：胡浩刘玉岭张红旗杨英杰叶润国解放军信息工程大学郑州450001 河南省信息安全重点实验室郑州450001 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国电子技术标准化研究院北京100007

入侵意图和路径预测对于安全管理员深入理解攻击者可能的威胁行为具有重要意义.现有研究主要集中于理想攻击场景中的路径预测,然而理想攻击路径并不都是入侵者采取的真实路径.为了准确全面地预测网络入侵的路径信息,提出基于吸收Markov... 详细信息

入侵意图和路径预测对于安全管理员深入理解攻击者可能的威胁行为具有重要意义.现有研究主要集中于理想攻击场景中的路径预测,然而理想攻击路径并不都是入侵者采取的真实路径.为了准确全面地预测网络入侵的路径信息,提出基于吸收Markov链的多步攻击路径预测方法.首先利用吸收Markov链中状态转移的无后效性和吸收性设计节点状态转移概率归一化算法,并证明完整攻击图可以映射为吸收Markov链,进而给出了基于通用漏洞评分标准的状态转移概率度量方法,最后提出攻击状态节点访问次数和路径长度的期望值预测步骤流程.实例分析结果表明:该方法可以量化不同长度攻击路径的概率分布、计算路径长度的期望值、预测实现既定攻击目标所需的原子攻击次数,并对节点威胁进行排序,为及时应对网络攻击威胁提供更多安全防护指导.

关键词：入侵路径预测攻击图吸收Markov链期望路径长度节点威胁排序

来源：评论

学校读者我要写书评

暂无评论

软件漏洞自动利用研究综述

引用

广州大学学报（自然科学版） 2019年第3期18卷 52-58页

作者：苏璞睿黄桦烽余媛萍张涛中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学计算机科学与技术学院北京100190 中国信息安全测评中心北京100085

近年来,软件漏洞已成为系统安全与攻防对抗的核心要素,随着软件数量的增加和规模的复杂化,漏洞数量逐年增加,而依赖于人工的漏洞分析与利用生成已难以满足现实需求,漏洞的自动分析和利用生成是亟待解决的难点问题.现有研究已经取得了相... 详细信息

近年来,软件漏洞已成为系统安全与攻防对抗的核心要素,随着软件数量的增加和规模的复杂化,漏洞数量逐年增加,而依赖于人工的漏洞分析与利用生成已难以满足现实需求,漏洞的自动分析和利用生成是亟待解决的难点问题.现有研究已经取得了相关的成果,文章从控制流劫持漏洞自动利用、面向堆漏洞的自动分析与利用、安全机制自动化对抗方法和综合性的漏洞自动利用框架等四个方面介绍当前软件漏洞自动利用研究进展,进而分析未来软件漏洞自动利用发展趋势.

关键词：漏洞控制流劫持安全机制漏洞利用自动生成

来源：评论

学校读者我要写书评

暂无评论

基于独立分量技术的类GIFT算法S盒逆向分析

引用

计算机研究与发展 2018年第10期55卷 2269-2277页

作者：马向亮李冰习伟陈华陈财森中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 国家信息技术安全研究中心北京100084 南方电网科学研究院广州510663 陆军装甲兵学院演训中心北京100072

在实际密码系统或模块的安全性评估中,对未知密码算法的逆向分析是一项重要的评估内容.目前关于密码算法的逆向分析方式主要分为数学分析和物理旁路分析2种,后者因其代价低、通用性高等优点更为流行.基于独立分量技术的侧信道分析技术... 详细信息

在实际密码系统或模块的安全性评估中,对未知密码算法的逆向分析是一项重要的评估内容.目前关于密码算法的逆向分析方式主要分为数学分析和物理旁路分析2种,后者因其代价低、通用性高等优点更为流行.基于独立分量技术的侧信道分析技术绕过传统侧信道分析中的"先猜测后确定"的攻击思路限制,直接恢复中间状态值.研究了类GIFT算法在逆向分析下的安全性,利用GIFT算法结构的特点,将P置换输入作为独立分量攻击观测条件,利用独立分量技术成功恢复出了S盒内容.该结果是最早关于类GIFT算法的逆向分析结果之一,其方法对于其他未知算法的逆向分析也具有参考意义.

关键词：独立分量分析逆向分析 S盒 GIFT算法能量分析

来源：评论

学校读者我要写书评

暂无评论

面向漏洞生命周期的安全风险度量方法

引用

软件学报 2018年第5期29卷 1213-1229页

作者：胡浩叶润国张红旗常德显刘玉岭杨英杰信息工程大学三院河南郑州450001 河南省信息安全重点实验室(信息工程大学) 河南郑州450001 中国电子技术标准化研究院北京100007 中国科学院软件研究所可信计算与信息保障实验室北京100190

为了反映信息系统安全漏洞的风险随时间动态变化的规律,构建了基于吸收Markov链的漏洞生命周期模型,计算先验历史漏洞信息作为模型输入,构造漏洞生命周期的状态转移概率矩阵,在时间维度上,利用矩阵对状态演化过程进行推导.借鉴通用漏洞... 详细信息

为了反映信息系统安全漏洞的风险随时间动态变化的规律,构建了基于吸收Markov链的漏洞生命周期模型,计算先验历史漏洞信息作为模型输入,构造漏洞生命周期的状态转移概率矩阵,在时间维度上,利用矩阵对状态演化过程进行推导.借鉴通用漏洞评分标准分析漏洞威胁影响,给出了安全漏洞的时间维度风险量化方法,并对漏洞生命周期各状态发生概率的演化规律进行了总结和分析.最后,以典型APT攻击场景中"Wanna Cry"勒索病毒的漏洞利用过程为例,验证了模型及方法的合理性和有效性.

关键词：风险度量漏洞生命周期随机模型吸收Markov链动态评估

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：