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

计算机系统应用 2025年第1期34卷 294-307页

作者：王文婷孙嘉珺万逸峰王文杰田东海浙江大学控制科学与工程学院杭州310027 北京理工大学软件安全工程技术北京市重点实验室北京100081 国网山东省电力公司电力科学研究院济南250003

针对现有二进制模糊测试难以深入程序内部发现漏洞这一问题,提出一种融合硬件程序追踪、静态分析和混合执行3种技术的多角度优化方案.首先,利用静态分析和硬件追踪评估程序路径复杂度及执行概率;之后,根据路径复杂度与执行概率进行种子... 详细信息

针对现有二进制模糊测试难以深入程序内部发现漏洞这一问题,提出一种融合硬件程序追踪、静态分析和混合执行3种技术的多角度优化方案.首先,利用静态分析和硬件追踪评估程序路径复杂度及执行概率;之后,根据路径复杂度与执行概率进行种子选择和变异能量分配;同时,利用混合执行辅助种子生成并记录关键字节用于针对性变异.实验结果表明,相比现有模糊测试方案,该方案在多数情况下能发现更多的程序路径和crash.

关键词：模糊测试硬件程序追踪静态分析混合执行二进制软件

来源：评论

学校读者我要写书评

暂无评论

改进的无线性对固定轮数无证书群组密钥协商协议

引用

清华大学学报（自然科学版） 2017年第6期57卷 580-585页

作者：单纯胡康文薛静锋胡昌振赵小林北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081

针对现有无证书群组密钥协商协议无法在敌手具有替换用户公钥或获知私钥生成中心(key generation center,KGC)主秘密密钥2类攻击能力下满足安全性,该文提出一种显式认证的无证书群组密钥协商协议。该协议通过在第二轮中添加签名消息、... 详细信息

针对现有无证书群组密钥协商协议无法在敌手具有替换用户公钥或获知私钥生成中心(key generation center,KGC)主秘密密钥2类攻击能力下满足安全性,该文提出一种显式认证的无证书群组密钥协商协议。该协议通过在第二轮中添加签名消息、签名与群组用户身份集合、第一轮所有广播消息、第二轮用户发送的消息,保证了消息的新鲜性和身份的认证;对协议第二轮消息进行改进,使得敌手无法利用邻居节点进行攻击。分析结果表明:与其他无证书群组密钥协商协议相比,本协议可抗具有2类攻击能力的敌手,且计算量更小。

关键词：无证书群组密钥协商协议无线性对

来源：评论

学校读者我要写书评

暂无评论

基于漏洞知识库的8031单片机系统软件漏洞检测算法

引用

北京理工大学学报 2017年第4期37卷 371-375页

作者：单纯荆高鹏胡昌振薛静锋贺津朝北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库... 详细信息

针对基于8031单片机系统软件的安全问题,对各权威漏洞数据库进行了分析研究,采用一种基于ECV规则的攻击分析方法从攻击事件中提取漏洞知识,根据漏洞种类及特征将漏洞从代码安全的角度分类,设计了三层结构的漏洞知识库,并根据漏洞知识库的设计提出了一种基于知识的漏洞检测算法,用于检测8031单片机系统漏洞.基于上述方法设计并实现了软件安全性逆向分析系统,对8031单片机系统进行漏洞检测.实验结果表明,基于该漏洞知识库的漏洞检测算法可以对目标程序正确进行漏洞检测,有利于降低软件代码漏洞量,并在一定程度上降低成本和资源消耗.

关键词：漏洞知识库 8031单片机漏洞检测软件安全

来源：评论

学校读者我要写书评

暂无评论

基于改进GN算法的程序控制流图划分方法

引用

清华大学学报（自然科学版） 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 变异操作程序追踪

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的策略冲突检测方法

引用

电子科技大学学报 2013年第5期42卷 745-748,768页

作者：吴丹危胜军北京理工大学机电学院北京海淀区100081 北京理工大学软件安全工程技术北京市重点实验室北京海淀区100081 北京理工大学软件学院北京海淀区100081

提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模,采用时态逻辑表征策略冲突的系统属性,然后利用NuSMV模型检测器验证属性的可满足性,并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略... 详细信息

提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模,采用时态逻辑表征策略冲突的系统属性,然后利用NuSMV模型检测器验证属性的可满足性,并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略冲突检测的效率。

关键词：反例模型检测 NuSMV 策略冲突

来源：评论

学校读者我要写书评

暂无评论

基于KNN离群点检测和随机森林的多层入侵检测方法

引用

计算机研究与发展 2019年第3期56卷 566-575页

作者：任家东刘新倩王倩何海涛赵小林燕山大学信息科学与工程学院河北秦皇岛066001 河北省软件工程重点实验室(燕山大学) 河北秦皇岛066001 北京理工大学软件学院北京100081 软件安全工程技术北京市重点实验室(北京理工大学) 北京100081

入侵检测系统能够有效地检测网络中异常的攻击行为,对网络安全至关重要.目前,许多入侵检测方法对攻击行为Probe(probing),U2R(user to root),R2L(remote to local)的检测率比较低.基于这一问题,提出一种新的混合多层次入侵检测模型,检... 详细信息

入侵检测系统能够有效地检测网络中异常的攻击行为,对网络安全至关重要.目前,许多入侵检测方法对攻击行为Probe(probing),U2R(user to root),R2L(remote to local)的检测率比较低.基于这一问题,提出一种新的混合多层次入侵检测模型,检测正常和异常的网络行为.该模型首先应用KNN(K nearest neighbors)离群点检测算法来检测并删除离群数据,从而得到一个小规模和高质量的训练数据集;接下来,结合网络流量的相似性,提出一种类别检测划分方法,该方法避免了异常行为在检测过程中的相互干扰,尤其是对小流量攻击行为的检测;结合这种划分方法,构建多层次的随机森林模型来检测网络异常行为,提高了网络攻击行为的检测效果.流行的数据集KDD(knowledge discovery and data mining) Cup 1999被用来评估所提出的模型.通过与其他算法进行对比,该方法的准确率和检测率要明显优于其他算法,并且能有效地检测Probe,U2R,R2L这3种攻击类型.

关键词：网络安全入侵检测系统 KNN离群点检测随机森林模型多层次

来源：评论

学校读者我要写书评

暂无评论

基于自适应模型的数据库入侵检测方法

引用

北京理工大学学报 2012年第3期32卷 258-262页

作者：李银钊闫怀志张佳何海涛北京理工大学软件安全工程技术北京市重点实验室北京100081 燕山大学信息科学与工程学院河北秦皇岛066004

提出了一种基于自适应模型数据库入侵检测方法(ASIDS).该方法基于矩阵和最小支持度函数的AprioriZ关联算法,依据在训练和自适应入侵检测阶段产生数据库的操作特征,用户根据实际需求动态调整最小支持度函数的值,更高效挖掘操作特征.结合... 详细信息

提出了一种基于自适应模型数据库入侵检测方法(ASIDS).该方法基于矩阵和最小支持度函数的AprioriZ关联算法,依据在训练和自适应入侵检测阶段产生数据库的操作特征,用户根据实际需求动态调整最小支持度函数的值,更高效挖掘操作特征.结合层次聚类算法产生动态规则库,通过计算待检测数据操作特征与规则库中聚类的距离是否超过聚类间最大距离来判断异常,以避免已有检测系统中判断"边界尖锐"问题,并实时把正常操作特征归入动态规则库,通过对报警信息的关联分析降低误警率.实验结果表明,ASIDS能够实时地进行入侵检测,具有很高的检测率和较低的误警率.

关键词：数据库安全入侵检测关联分析聚类

来源：评论

学校读者我要写书评

暂无评论

基于单证人节点的分布式节点复制攻击检测

引用

清华大学学报（自然科学版） 2017年第9期57卷 909-913,920页

作者：马锐朱天保马科胡昌振赵小林北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081 中国信息通信研究院技术与标准研究所互联网中心北京100191

在无线传感网络中,现有的节点复制攻击检测方法存在检测率低、通信消耗高、存储消耗高等问题。该文提出一种基于单证人节点的分布式节点复制攻击检测(singlewitness-based distributed detection,SWDD)方法。SWDD方法分为选择证人节点... 详细信息

在无线传感网络中,现有的节点复制攻击检测方法存在检测率低、通信消耗高、存储消耗高等问题。该文提出一种基于单证人节点的分布式节点复制攻击检测(singlewitness-based distributed detection,SWDD)方法。SWDD方法分为选择证人节点、生成声明信息、发送声明信息、验证证人节点和检测复制节点5个步骤。SWDD方法中引入单证人节点选择机制,采用随机数作为位置声明信息,利用多重映射机制进行证人节点验证,并由最终证人节点完成对复制节点的检测。在OMNeT++平台上进行仿真实验,结果表明:SWDD方法在检测率、通信消耗和存储消耗方面均优于SDC(single deterministic cell)和P-MPC(parallel multiple probabilistic cells)方法。

关键词：无线传感网络节点复制攻击分布式检测单证人节点多重映射机制

来源：评论

学校读者我要写书评

暂无评论

基于粒子群优化算法的Android应用自动化测试方法

引用

北京理工大学学报 2017年第12期37卷 1265-1270页

作者：马锐任帅敏马科胡昌振薛静锋北京理工大学软件学院软件安全工程技术北京市重点实验室北京100081 中国信息通信研究院技术与标准研究所互联网中心北京100191

Android应用自动化测试是应用质量保证的重要手段.针对目前传统Android应用自动化测试方法存在的自动化率和测试用例生成效率较低且应用异常发现能力较弱的问题,本文提出了基于粒子群优化算法的Android应用自动化测试方法(particle swar... 详细信息

Android应用自动化测试是应用质量保证的重要手段.针对目前传统Android应用自动化测试方法存在的自动化率和测试用例生成效率较低且应用异常发现能力较弱的问题,本文提出了基于粒子群优化算法的Android应用自动化测试方法(particle swarm optimization for Android,PSOA).PSOA方法主要分为3部分:控件信息获取、测试方法模块化、测试用例生成与基于粒子群优化算法的测试数据优化.实验结果表明,与传统自动化测试方法相比,PSOA方法能够有效提高异常发现能力、测试用例生成效率和自动化率.

关键词： Android 自动化测试粒子群优化算法测试用例生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：