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

清华大学学报（自然科学版） 2019年第1期59卷 15-22页

作者：马锐高浩然窦伯文王夏菁胡昌振北京理工大学计算机学院软件安全工程技术北京市重点实验室北京100081

针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时... 详细信息

针对控制流图规模过大导致的程序分析准确度和效率不够理想的问题,该文提出了一种用于控制流图划分的改进GN(Girvan-Newman)算法,在边介数计算中加入点权值作为参数,使划分所得各子图的规模更加平衡;通过动态控制子图的规模,在合适的时机提前终止算法执行,提高执行效率。利用angr工具对二进制程序进行分析所得到的控制流图,分别采用改进GN算法、K-means算法、谱聚类算法和朴素凝聚算法进行实验,比较不同算法对控制流图划分结果中的模块度以及均衡性等指标,证明改进GN算法具有最佳的划分结果和执行效率。

关键词：程序分析控制流图划分聚类 GN算法

来源：评论

学校读者我要写书评

暂无评论

基于汤普森采样的模糊测试用例变异方法

引用

北京理工大学学报 2020年第12期40卷 1307-1313页

作者：马锐贺金媛王雪霏王夏菁李斌斌胡昌振北京理工大学计算机学院软件安全工程技术北京市重点实验室北京100081

模糊测试是漏洞分析技术中的一项代表性技术,其通过生成一组测试用例来测试程序,并在执行过程中观测异常,从而查找错误或识别安全漏洞.AFL是当前一款主流的开源模糊器,本文在分析AFL的基础上,针对测试用例变异环节的变异操作选择方法进... 详细信息

模糊测试是漏洞分析技术中的一项代表性技术,其通过生成一组测试用例来测试程序,并在执行过程中观测异常,从而查找错误或识别安全漏洞.AFL是当前一款主流的开源模糊器,本文在分析AFL的基础上,针对测试用例变异环节的变异操作选择方法进行改进,提出了一种基于汤普森采样的模糊测试用例自动化变异方法,并实现了工具TPSFuzzer,支持对二进制程序进行模糊测试.其主要思想是通过将模糊测试中变异操作选择问题转化为多臂赌博机问题,结合汤普森采样优化算法,在特定程序上自适应地学习变异操作的概率分布;同时将硬件程序追踪机制与AFL相结合,以辅助进行路径信息获取和变异操作选择,从而提高AFL的测试效率和路径覆盖率.本文选取LAVA数据集和两个真实二进制程序作为测试集,通过与PTFuzzer的对比实验分析得出,TPSFuzzer可以产生更高的代码覆盖率和更好的测试效率.

关键词：模糊测试 AFL 变异操作程序追踪

来源：评论

学校读者我要写书评

暂无评论

概念格的内涵缩减与数据库推理依赖

引用

计算机研究与发展 2014年第1期51卷 96-103页

作者：薛金蓉安秋生郑军北京理工大学计算机学院北京100081 软件安全工程技术北京市重点实验室北京100081 山西师范大学数学与计算机科学学院山西临汾041004

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之... 详细信息

值依赖是数据库推理问题研究的一个新课题.首先介绍了形式背景和概念格,提出了值依赖的形式概念模型.将数据属性的安全敏感级别引入到值依赖研究中,提出推理依赖及α极大推理依赖概念,并建立了形式概念格的内涵缩减与数据库推理依赖之间的关系.进一步证明了由概念格的内涵缩减推导出数据库中完备的、无冗余的α极大推理依赖集.最后提出并实例验证了发现数据库中全部推理依赖集的算法.推理依赖是关系数据库中最重要的属性依赖关系之一,其研究对检测和消除数据库推理通道具有十分重要的意义.

关键词：值依赖概念格内涵缩减数据库推理推理依赖

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的内核恶意程序检测研究与实现

引用

北京理工大学学报 2020年第12期40卷 1295-1301页

作者：田东海魏行张博郁裕磊李家硕马锐北京理工大学计算机学院软件安全工程技术北京市重点实验室北京100081 山西省军民融合软件工程技术研究中心山西太原030051

随着计算机科学的发展,世界对计算机的依赖越来越强,计算机安全也越来越重要,恶意代码是计算机安全面临的最大敌人.针对传统的恶意代码检测和分析技术在现在已经无法满足需求的问题,提出使用机器学习并应用新的分类特征来识别恶意程序,... 详细信息

随着计算机科学的发展,世界对计算机的依赖越来越强,计算机安全也越来越重要,恶意代码是计算机安全面临的最大敌人.针对传统的恶意代码检测和分析技术在现在已经无法满足需求的问题,提出使用机器学习并应用新的分类特征来识别恶意程序,并且对他们进行初级的家族分类,指出以往机器学习在恶意代码检测和分类上的不足,筛选出更好的区分特征.首先使用了n-gram算法来优化恶意代码反汇编代码中的操作码特征,然后使用词袋模型和TF-IDF算法优化API调用特征,最后编程实现模型并使用数据集进行了模型的训练和测试.实验中使用决策树算法的模型的分类准确率上达到了87.41%,使用随机森林算法的模型的分类准确率上达到了90.06%,实验结果表明提出的特征相比以往在恶意代码检测分类上应用的特征有着更好的效果.

关键词：恶意代码分类随机森林决策树操作码 API

来源：评论

学校读者我要写书评

暂无评论

等价类中弱函数依赖的粗糙集度量

引用

电子科技大学学报 2013年第6期42卷 935-938页

作者：薛金蓉张洪斌北京理工大学计算机学院北京海淀区100081 软件安全工程技术北京市重点实验室北京海淀区100081 公安部安全与警用电子产品质量检测中心北京海淀区100048

提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义。利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法。实验结果表明,WFDoE可以有效增强防范推... 详细信息

提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义。利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法。实验结果表明,WFDoE可以有效增强防范推理泄露的能力。

关键词：等价类推理泄露问题粗糙集规则提取弱函数依赖

来源：评论

学校读者我要写书评

暂无评论

一种软件再生系统的模型分析

引用

数学的实践与认识 2011年第20期41卷 84-91页

作者：高清华北京城市学院电子与信息工程学部北京100083 北京理工大学计算机科学与技术学院北京100081 北京理工大学软件安全工程技术北京市重点实验室北京100081

对用补充变量的方法建立的软件再生系统各状态之间转移概率服从一般分布的数学模型,用Matlab软件进行仿真实验,从而证明该模型的可靠性.

关键词：软件再生模型建立渐进稳定可靠性

来源：评论

学校读者我要写书评

暂无评论

一个改进的混合云环境下协同的可证明数据持有方案

引用

清华大学学报（自然科学版） 2013年第12期53卷 1731-1736页

作者：周恩光李舟军郭华徐畅北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学网络技术北京市重点实验室北京100191 中国科学院信息工程研究所信息安全国家重点实验室北京100093 北京理工大学计算机学院北京100081

为验证云存储服务提供商是否完整地存储了客户的数据,修复了一个混合云环境下协同的可证明数据持有方案存在的安全漏洞,提出了一个改进的混合云环境下协同的可证明数据持有方案。改进方案能够抵抗云存储服务提供商的伪造攻击,利用分层H... 详细信息

为验证云存储服务提供商是否完整地存储了客户的数据,修复了一个混合云环境下协同的可证明数据持有方案存在的安全漏洞,提出了一个改进的混合云环境下协同的可证明数据持有方案。改进方案能够抵抗云存储服务提供商的伪造攻击,利用分层Hash索引和同态验证响应技术,将多个云存储服务提供商的响应消息聚合为一个消息。与原方案相比,改进方案降低了计算开销和通信开销,且具有完备性、可靠性和零知识性等属性,是一个可行的完整性检查方案。

关键词：可证明数据持有完整性验证云存储安全

来源：评论

学校读者我要写书评

暂无评论

一个改进的混合云环境下协同的可证明数据持有方案

一个改进的混合云环境下协同的可证明数据持有方案

引用

第六届信息安全漏洞分析与风险评估大会

作者：周恩光李舟军郭华徐畅北京航空航天大学软件开发环境国家重点实验室北京100191 北京航空航天大学网络技术北京市重点实验室北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 中国科学院信息工程研究所信息安全国家重点实验室北京100093 北京理工大学计算机学院北京100081

可证明数据持有使客户能够验证不可信的存储服务提供商是否正确地持有数据。Zhu等人在2012年首次提出混合云环境下协同的可证明数据持有方案,但Zhu等人的方案存在安全漏洞.提出一个改进的方案,改进方案的验证协议需要5轮通信,具有完备... 详细信息

可证明数据持有使客户能够验证不可信的存储服务提供商是否正确地持有数据。Zhu等人在2012年首次提出混合云环境下协同的可证明数据持有方案,但Zhu等人的方案存在安全漏洞.提出一个改进的方案,改进方案的验证协议需要5轮通信,具有完备性、可靠性和零知识性等属性,且计算开销和通信开销均低于Zhu等人的方案。

关键词：云计算存储安全可证明数据持有完整性验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：