-
题名一种用于威胁检测的反目标攻击树模型
被引量：2
- 1
-
-
作者
杜金莲
孙鹏飞
金雪云
-
机构
北京工业大学信息学部
-
出处
《计算机科学》
CSCD
北大核心
2021年第S01期468-476,共9页
-
文摘
近年来,由于系统漏洞增多、网络入侵手段不断演化、黑客技术不断更新,导致网络攻击变得复杂多样化。然而,传统攻击树模型的质量高度依赖于分析师的知识和技能水平,主观性强,在表达攻击意图及攻击操作的关系上存在不足,很难实现攻击模型的自动构建。为了能够高质量地检测系统资产潜在的安全威胁,并支持自动化检测的实现,文中提出一种基于攻击者意图的反目标攻击树模型及其构建方法。该模型从攻击者的意图出发,通过对反目标元素的迭代分解来描述攻击者的攻击过程和攻击目标,并以攻击树的形式进行表达,从而高效地发现系统的安全问题。基于Datalog语言给出反目标攻击树模型分解策略的形式化描述并定义了推理规则,为反目标攻击树模型的自动构建以及攻击威胁的自动检测提供了支持。将所提方法应用到真实的攻击案例场景中进行分析,成功地检测出了被攻击系统的实际攻击场景和潜在安全风险,证明了所提方法的有效性。
-
关键词
反目标攻击树模型
攻击策略
威胁检测
自动检测
形式化推理
-
Keywords
Anti-target attack tree model
Attack strategy
Risk detection
Aautomatic detection
Formal reasoning
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于攻击树的脚本病毒样本分析方法
被引量：4
- 2
-
-
作者
张冲
吴灏
-
机构
中国人民解放军信息工程大学信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第6期118-120,122,共4页
-
基金
国家"863"计划资助项目(2003AA146010)
-
文摘
在研究攻击树分析方法和脚本病毒原理的基础上,提出了一种基于攻击树的脚本病毒样本分析方法。结合一个脚本病毒的实例,深层分析病毒的传播、隐藏和破坏行为,进而生成了相应的对策,提高了病毒样本分析的效率,对未知病毒的防治也有积极的意义。
-
关键词
脚本病毒
样本分析
攻击树模型
WINDOWS脚本宿主
-
Keywords
Script Virus
Sample Analysis
Attack Tree Model
Windows Scripting Host(WSH)
-
分类号
TP309.5
[自动化与计算机技术—计算机系统结构]
-
-
题名基于攻击反馈模型的SQL注入漏洞渗透测试方法
被引量：3
- 3
-
-
作者
刘磊
许静
朱静雯
陈亮
李洁
-
机构
南开大学人工智能学院
南开大学软件学院
国网天津市电力公司电力科学研究院
-
出处
《计算机应用与软件》
北大核心
2023年第6期323-329,共7页
-
基金
国家电网公司总部科技项目(SGTJDK00DWJS1900105)。
-
文摘
针对SQL注入漏洞测试过程中准确度和效率不足以及其之间的竞争问题,提出一种基于攻击反馈模型(Attacking Feedback Model,AFM)的SQL注入漏洞渗透测试方法。该方法在梳理SQL注入攻击反馈分析技术的基础上,基于典型的SQL注入攻击逻辑及其攻击树构建多种攻击反馈测试单元,以及一系列由这些测试单元构成的测试阶段,通过自底向上的反馈信息流实现一种启发式的动态测试方法。该文实现了一个原型系统,并在预先植入漏洞的目标漏洞系统上与两个知名渗透测试工具进行对比实验,结果显示文章所述方法能有效提高SQL注入漏洞渗透测试的准确度和检测效率。
-
关键词
Web系统漏洞
渗透测试
SQL注入
攻击树模型
-
Keywords
Web system vulnerability
Penetration test
SQL injection
Attacking tree model
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于攻击树的4G网络安全风险评估方法
被引量：23
- 4
-
-
作者
王赛娥
刘彩霞
刘树新
柏溢
-
机构
中国人民解放军战略支援部队信息工程大学
-
出处
《计算机工程》
CAS
CSCD
北大核心
2021年第3期139-146,154,共9页
-
基金
国家自然科学基金青年基金项目(61803384)。
-
文摘
针对4G网络的安全风险评估问题,提出一种基于攻击树模型的评估方法,以分析网络的风险状况,评估系统的风险程度和安全等级。对4G网络的安全威胁进行分类,通过梳理攻击行为和分解攻击流程来构造攻击树模型,利用多属性理论赋予叶节点3个安全属性并通过等级评分进行量化,结合模糊层次分析法和模糊矩阵计算叶节点的风险概率,根据节点间的依赖关系得到根节点的风险概率,最终得到4G网络的安全风险等级。实验结果表明,该方法能够准确评估4G网络的风险因素,预测可能的攻击路径,为安全防护策略选择提供依据。
-
关键词
4G网络
安全威胁
攻击树模型
风险评估
模糊层次分析法
-
Keywords
4G network
security threats
attack tree model
risk assessment
Fuzzy Analytical Hierarchy Process(FAHP)
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于威胁模型的安全测试用例生成框架和工具
- 5
-
-
作者
付昌兰
张贺
李凤龙
匡宏宇
-
机构
南京大学软件学院
计算机软件新技术国家重点实验室(南京大学)
华为云计算技术有限公司
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第10期4573-4603,共31页
-
基金
CCF-华为胡杨林基金-软件工程专项(CCF-HuaweiSE2021003)
国家自然科学基金(62072227,62202219)
+3 种基金
国家重点研发计划(2019YFE0105500)
江苏省重点研发计划(BE2021002-2)
南京大学计算机软件新技术国家重点实验室创新项目(ZZKT2022A25)
海外开放课题(KFKT2022A09)。
-
文摘
近年来,软件系统安全问题正引发越来越多的关注,系统存在的安全威胁容易被攻击者所利用,攻击者通常采用各种攻击技术诸如口令暴力破解、网络钓鱼、SQL注入等对系统进行攻击.威胁建模是一种结构化分析、识别并处理威胁的方法,传统的测试主要集中在测试代码缺陷,处于软件开发后期,不能很好地对接前期威胁建模分析成果以构建安全的软件,业界威胁建模工具缺少进一步生成安全测试的功能.为了应对此问题,提出一种从威胁模型生成安全测试用例的框架,并设计和实现工具原型.为了便于测试,对传统的攻击树模型进行改进,对构建的模型进行规范性检查,从该模型中可以自动生成测试线索.根据攻击节点发生概率对测试线索进行评估,优先检测概率较高的威胁的测试线索.对防御节点进行评估,选择收益性较高的防御方案缓解威胁,以改进系统安全设计.通过为攻击节点设置参数可以将测试线索转换成具体的测试用例.在软件开发早期阶段以威胁建模识别出的威胁作为输入,通过框架和工具可以生成测试,指导后续的安全开发和安全测试设计,将安全技术更好地嵌入到软件设计和开发之中.案例研究部分将该框架和工具运用于极高危风险的安全测试生成,并说明了其有效性.
-
关键词
威胁模型
威胁建模
攻击树模型
测试用例生成
测试线索
-
Keywords
threat model
threat modeling
attack tree model
test case generation
test scenario
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名改进的安全协议逻辑系统及评估技术
- 6
-
-
作者
张超
韩继红
王亚弟
朱玉娜
-
机构
解放军信息工程大学电子技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第21期5415-5419,共5页
-
文摘
改进了Blanchet安全协议一阶逻辑系统并建立了用于评估攻击者攻击耗费的攻击树模型,明确了系统和模型中涉及的一些关键性概念和命题。改进的系统能够将逻辑推导转换成易于理解的攻击过程。建立的攻击树模型具有以下特点:能够形象直观地描述攻击者对一个协议进行攻击的行为;能够对不同方法所耗费的资源进行相对比较;基于树状结构,便于计算机实现搜索、存储。
-
关键词
安全协议
形式化分析
一阶逻辑系统
攻击序列重构
攻击树模型
-
Keywords
security protocol
formal analysis
first-order logic system
reconstruction of attack sequence
attack tree model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名海上专用信号传输网络中的病毒检测技术
被引量：3
- 7
-
-
作者
张焕俊
-
机构
驻马店职业技术学院
-
出处
《舰船科学技术》
北大核心
2017年第2X期169-171,共3页
-
文摘
专用通信网络是海上信号传输系统的重要组成部分,如海洋气象传输网络﹑军事通信网络﹑船舶自动识别网络等,这些专用网络由不同的专有通信频段及通信信道保障通信的安全传输。与通用通信网相比,除了带宽﹑传输速率等指标,网络的安全性﹑对病毒的有效检测等同样重要,网络设备及传输信道中的病毒检测成为了海上专用通信网络重要的研究方向之一。本文首先分析海上专用通信网络的病毒入侵及传播模型,在此基础上给出可动态调整的攻击树病毒检测方法。
-
关键词
病毒检测
攻击树模型
专用通信网
-
Keywords
virus detection
attack tree model
private communication network
-
分类号
TP309.5
[自动化与计算机技术—计算机系统结构]
-
