【ATTCK】MITRE Caldera 朴素贝叶斯规划器

2023-11-11 08:44

本文主要是介绍【ATTCK】MITRE Caldera 朴素贝叶斯规划器,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

       CALDERA是一个由python语言编写的红蓝对抗工具(攻击模拟工具)。它是MITRE公司发起的一个研究项目,该工具的攻击流程是建立在ATT&CK攻击行为模型和知识库之上的,能够较真实地APT攻击行为模式。
       通过CALDERA工具,安全红队可以提前手动模拟并设定好攻击流程,并以此进行自动化攻击和事件响应演练。同样,安全蓝队也可以利用该工具,根据相应的威胁开展模拟应对。
   github地址: mitre/caldera: Automated Adversary Emulation Platform (github.com)

为什么选择朴素贝叶斯

      在一次行动中,对手的概况决定了哪些能力可用,规划者决定执行哪些能力以及执行顺序。Caldera 目前有多个可用的规划器,可让您管理操作的优先级。默认的原子规划器根据对手配置文件的原子顺序一次为每个代理提供一种可用的能力。Atomic规划器是执行操作的万能方法,但您是否知道 Caldera 现在有一种方法可以使用过去的操作数据来优先考虑最有效的能力并设置操作的风险承受水平这是在新的朴素贝叶斯规划器中实现的。如果您重复执行相同的操作,并希望通过从操作数据中获得的见解来改进当前原子规划器的性能,那么朴素贝叶斯规划器可能适合。

相关背景:

  在了解朴素贝叶斯 (NB) 规划器的逻辑之前,我们先回顾一下 Caldera 操作中的相关术语和概念:
      能力——可以在运行代理上执行的特定 ATT&CK 策略/技术实施。 功能将包括要运行的命令、命令可以运行的平台/执行器(例如:Windows / PowerShell)、要包含的有效负载以及对用于解析 Caldera 服务器上的输出的模块的引用。
      事实——有关给定(目标)计算机的可识别信息。 事实名称在能力文件中引用,并且在从能力创建链接时将替换为事实值。
      链接——在将任务分配给特定代理、选择执行方法(powershell、sh 等)并用事实填充任何变量后的一种能力。 由能力生成并取决于目标操作系统、可用软件和 Caldera 知道的其他“事实”。
      链接成功— 当链接返回状态代码 0 时,即表示链接“成功”,这意味着它没有超时或错误,而是返回了预期的输出。
      贝叶斯定理— 用于计算条件概率的数学公式。
      朴素贝叶斯分类器— 基于贝叶斯定理的分类技术,具有预测变量之间的独立假设。

规划逻辑

      NB 规划器首先根据本地存储的操作数据构建先前执行的链接矩阵(使用事实作为特征),然后将贝叶斯定理应用于该矩阵,以基于先前操作的成功来评估当前操作链接的成功可能性。类似条件下的链接。然后,它按照每一步的链接成功概率的顺序执行操作。它利用用户控制的最小链接成功概率和最小链接数据参数来做出适合用户标准的决策,并仅执行具有必要置信度和数据重要性的链接。操作按照链接成功概率的顺序(从高到低)自动执行,数据不足用于分析的链接最后执行,过去数据充足但成功可能性不足的链接将被完全删除。NB 规划器允许对每个环节充满信心地执行操作,并自动优先考虑更有效的能力。
      这是 NB Planner 链路选择逻辑的细分:

      需要注意的是,操作经常会在一些链接上没有足够的数据,在这种情况下,NB规划器将使用默认原子顺序执行那些操作,直到它们产生具有足够数据的新链接,然后规划器将返回到链接成功优先级逻辑。预期的用例是为 NB 规划者提供尽可能多的过去 Caldera 运行数据,以便分类器变得更加适用和有效。

使用计划器

      要使用 NB 规划器,只需在“开始新操作”选项的高级部分中选择朴素贝叶斯作为规划器。

      在执行过程中,规划者自然会优先考虑在当前条件下成功概率较高的链接。
      但当所有可用链接都没有足够的数据时,将回退到原子排序。      
      并且会删除执行成功概率不足的链接。

定制规划器

      规划器还允许使用其他参数,例如上面用于在终端输出中记录规划器逻辑的调试日志记录选项。所有参数要么在规划器配置文件中设置,要么在规划器本身中设置。

      配置文件选项:

      如上所示,在配置文件中,您可以通过更改 params 的值来自定义 NB planner 的多个方面最重要的是min_prob_link_success,它是链接执行所需的链接成功的最小计算概率(默认为 49%),并允许您设置操作的风险容忍级别。除了设置最小链接置信度之外,设置数据显着性也可能有所帮助。更改min_link_data的值可设置 NB 链接选择逻辑所需的过去相似链接的数量,如果您希望使用原子逻辑,除非有大量相关本地数据,否则可能会很有用。还可以使用参数来延迟某些链接的执行并激活 DEBUG 级别日志记录。

规划器选项

      在python 脚本的_get_highest_probability_link方法中,有一个选项可以选择在贝叶斯定理计算成功概率期间查询过去链接矩阵的特征。当前的默认选择是:
      但是,如果您拥有本地可用的过去操作数据的重要存储库,那么您可能希望更具体地了解链接规范,以便为未来链接计算的成功概率更加相关。这可以通过从 FEATURE_NAMES 列表向 link_query_features 字典添加更多功能完成特征应以与第 144-156 行保存到链接矩阵相同的方式添加到字典中,但应转换为字符串。

总结     

      朴素贝叶斯规划器利用过去的操作历史来执行操作,同时在某些风险承受能力和数据显着性级别上优先考虑链路成功的可能性。对于希望通过数据洞察简化本地 Caldera 重复操作的用户来说,它是理想的选择。

这篇关于【ATTCK】MITRE Caldera 朴素贝叶斯规划器的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/388885

相关文章

动态规划---打家劫舍

题目: 你是一个专业的小偷,计划偷窃沿街的房屋。每间房内都藏有一定的现金,影响你偷窃的唯一制约因素就是相邻的房屋装有相互连通的防盗系统,如果两间相邻的房屋在同一晚上被小偷闯入,系统会自动报警。 给定一个代表每个房屋存放金额的非负整数数组,计算你 不触动警报装置的情况下 ,一夜之内能够偷窃到的最高金额。 思路: 动态规划五部曲: 1.确定dp数组及含义 dp数组是一维数组,dp[i]代表

软考系统规划与管理师考试证书含金量高吗?

2024年软考系统规划与管理师考试报名时间节点: 报名时间:2024年上半年软考将于3月中旬陆续开始报名 考试时间:上半年5月25日到28日,下半年11月9日到12日 分数线:所有科目成绩均须达到45分以上(包括45分)方可通过考试 成绩查询:可在“中国计算机技术职业资格网”上查询软考成绩 出成绩时间:预计在11月左右 证书领取时间:一般在考试成绩公布后3~4个月,各地领取时间有所不同

poj 2976 分数规划二分贪心(部分对总体的贡献度) poj 3111

poj 2976: 题意: 在n场考试中,每场考试共有b题,答对的题目有a题。 允许去掉k场考试,求能达到的最高正确率是多少。 解析: 假设已知准确率为x,则每场考试对于准确率的贡献值为: a - b * x,将贡献值大的排序排在前面舍弃掉后k个。 然后二分x就行了。 代码: #include <iostream>#include <cstdio>#incl

SWAP作物生长模型安装教程、数据制备、敏感性分析、气候变化影响、R模型敏感性分析与贝叶斯优化、Fortran源代码分析、气候数据降尺度与变化影响分析

查看原文>>>全流程SWAP农业模型数据制备、敏感性分析及气候变化影响实践技术应用 SWAP模型是由荷兰瓦赫宁根大学开发的先进农作物模型,它综合考虑了土壤-水分-大气以及植被间的相互作用;是一种描述作物生长过程的一种机理性作物生长模型。它不但运用Richard方程,使其能够精确的模拟土壤中水分的运动,而且耦合了WOFOST作物模型使作物的生长描述更为科学。 本文让更多的科研人员和农业工作者

代码随想录冲冲冲 Day39 动态规划Part7

198. 打家劫舍 dp数组的意义是在第i位的时候偷的最大钱数是多少 如果nums的size为0 总价值当然就是0 如果nums的size为1 总价值是nums[0] 遍历顺序就是从小到大遍历 之后是递推公式 对于dp[i]的最大价值来说有两种可能 1.偷第i个 那么最大价值就是dp[i-2]+nums[i] 2.不偷第i个 那么价值就是dp[i-1] 之后取这两个的最大值就是d

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

轨迹规划-B样条

B样条究竟是干啥的?白话就是给出一堆点,用样条的方式,给这些点连接起来,并保证丝滑的。 同时B样条分为准均匀和非均匀,以下为准均匀为例。 参考链接1:https://zhuanlan.zhihu.com/p/50626506https://zhuanlan.zhihu.com/p/50626506 参考链接2: https://zhuanlan.zhihu.com/p/536470972h

PMBOK® 第六版 规划进度管理

目录 读后感—PMBOK第六版 目录 规划进度管理主要关注为整个项目期间的进度管理提供指南和方向。以下是两个案例,展示了进度管理中的复杂性和潜在的冲突: 案例一:近期,一个长期合作的客户因政策要求,急需我们为多家医院升级一个小功能。在这个过程中出现了三个主要问题: 在双方确认接口协议后,客户私自修改接口并未通知我们,直到催进度时才发现这个问题关于UI设计的部分,后台开发人员未将其传递给

LeetCode:64. 最大正方形 动态规划 时间复杂度O(nm)

64. 最大正方形 题目链接 题目描述 给定一个由 0 和 1 组成的二维矩阵,找出只包含 1 的最大正方形,并返回其面积。 示例1: 输入: 1 0 1 0 01 0 1 1 11 1 1 1 11 0 0 1 0输出: 4 示例2: 输入: 0 1 1 0 01 1 1 1 11 1 1 1 11 1 1 1 1输出: 9 解题思路 这道题的思路是使用动态规划

LeetCode:3177. 求出最长好子序列 II 哈希表+动态规划实现n*k时间复杂度

3177. 求出最长好子序列 II 题目链接 题目描述 给你一个整数数组 nums 和一个非负整数k 。如果一个整数序列 seq 满足在下标范围 [0, seq.length - 2] 中 最多只有 k 个下标i满足 seq[i] != seq[i + 1] ,那么我们称这个整数序列为好序列。请你返回 nums中好子序列的最长长度。 实例1: 输入:nums = [1,2,1,1,3],