【ATTCK】MITRE Caldera -引导规划器

2023-11-11 16:30

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

一、Caldera 概念

        在详细介绍新的引导式规划器之前,我们先回顾一下与 Caldera 相关的概念的一些定义。

        能力是 Caldera 可以执行的最小原子动作。对手由一组能力组成。例如,旨在发现和泄露感兴趣的文件的对手可能具有发现文件、创建暂存目录、将发现的文件复制到暂存目录、打包文件副本以及将包泄露回服务器的单独能力。这些能力中的每一个都执行一个具有自己的一组所需输入和输出的操作。卡尔德拉的工作是将这些能力结合在一起,形成一个有凝聚力和有效的对手。

        事实代表了Caldera所获得的知识。它们以键值对的形式呈现,其中键(称为特征)描述了知识的类型。事实的价值在于所获得的信息。事实可以是具体的,例如主机名或文件路径,也可以是更抽象的东西,例如标记某个主机是否可以通过网络访问的布尔值。能力可以将事实作为输入,并经常产生新的事实作为输出。这些输入和输出事实之间的关系允许 Caldera 中的能力具有控制能力执行顺序的要求。

        Caldera 通过将事实组合与可用能力的先决条件相匹配来生成要执行的一组操作。如果 Caldera 知道五个感兴趣的文件路径,它将能够产生五个不同版本的复制能力来运行。如果 Caldera 不知道任何感兴趣的文件路径,那么它将无法产生任何复制文件的能力。

        此外,可以对通过需求使用的潜在事实施加进一步的约束。要求允许对知识库进行进一步检查,以便在计划在操作中使用的知识满足某些条件时执行操作。例如,要求可以限制仅当单独的用户名和密码事实对应于同一用户时才执行操作。

        目标被表示为与条件配对的事实特征。条件可以很简单,例如存在事实、已发现具有特定值的事实,或者发现了多于/少于某一数量的事实。对手可以将事实来源作为输入,并努力实现一系列目标。例如,如果对手仅专注于文件发现,那么一个目标可能是 Caldera 发现并跟踪三个或更多感兴趣的文件。现有对手广泛使用的默认目标称为耗尽。从根本上来说,精疲力竭的目标是打败对手,直到没有更多的能力可以执行。在设计寻求特定目标的规划器时,考虑这一点很重要。

        当运行对手时,Caldera 平台的基本作用是跟踪信息,然后利用这些知识来产生运行能力的所有可能组合。规划者的作用是决定执行这些可用操作中的哪些。

        Caldera 平台提供了一个可扩展的插件架构,允许用户根据上一节中概述的构造实现自定义规划逻辑。Caldera 的基本版本预先打包了三个简单的规划器:

        Atomic:按照对手的原子顺序指定的顺序一次执行一个操作

        批处理(Batch):在操作的每个步骤中执行所有可用的操作

        Buckets:根据MITRE ATT&CK™定义的策略执行一组可用操作,通过遵循通用网络杀伤链的状态机移动,并在规划器状态当前所在的每个桶中执行对手的所有可用操作。

      这些规划器完成了工作,但它们相对简单,并且不执行与自动规划任务相关的任何策略,例如状态空间缩减或定向搜索。这就是在内置库中添加引导规划器的用武之地。

二、引导规划器

        引导规划器旨在帮助对手在执行尽可能少的操作的同时实现其目标。

        引导规划器的基础是生成对手的能力依赖图。这是一个有向图,其中对手的 Caldera 能力表示为节点。图中的节点根据其知识依赖性和输出进行连接。例如,假设我们有两种能力:一种能力执行列表目录命令,将发现的文件保存为事实,另一种能力作为需要给定文件路径的复制文件命令。结果,这两个能力将在依赖图中链接起来,其中一条边从列表能力指向复制能力。下图显示了简单渗透对手的示例能力依赖图。

图 1 — 由 Guided planner 构建的对手能力依赖图

        一旦规划器构建了这个依赖图,它就能够找到从事实源到定义目标的最短路径。规划器可以容纳多个目标,在这种情况下,它将提供从每种能力到其最近目标的最短路径。这些距离用于形成绝对距离表。随着操作的进行,该表中的距离将根据以下条件修改为有效距离表:

        半衰期惩罚——定义规划者对无法推动对手实现目标的行为进行的惩罚程度。数字越大,处罚越高。

        半衰期增益- 定义在规划器的每次迭代中被动增加能力距离的量。值越大,增益越小。

        目标行动衰减——定义对预计直接实现目标但未能实现的行动进行多少惩罚。

        目标权重- 定义能力到目标的距离对该能力的绝对距离的贡献程度的权重。

        事实得分权重- 定义输入事实数量对每种能力的绝对距离的贡献程度的权重。

        在每次迭代规划时,都会选择得分最高的能力来执行。Caldera 等待收到结果,然后规划器根据对手是否更接近或实现目标来更新有效距离。

        该规划器的设计目的是在考虑目标的情况下使用,但由于大多数 Caldera 对手并未配置目标,因此它还必须考虑耗尽所有操作的默认目标。引导规划器有一些额外的逻辑,可以在没有提供目标的情况下从依赖图推断目标。图中输出度为零的节点表示依赖链末端的事实或能力。这些节点用于为规划器生成目标,作为默认耗尽目标的替代。最好定义具体目标,为规划者提供优化的工作价值,但这种逻辑允许规划者与所有现有的 Caldera 对手兼容。

三、使用引导规划器

        为了充分利用引导规划器,为对手定义一组目标(如果尚未提供)是最有帮助的。下面的示例显示了如何将目标添加到现有的 Caldera 对手中。

        目标是一个或多个目标的集合。

图 2 — 为对手定义一组目标(目标)

        然后可以将该目标添加到对手配置中,如下所示。

图 3 - 将目标添加到对手配置中

        上一节中描述的定义权重调整的参数都是可配置的。可以通过 Guided planner YAML 配置文件访问它们,如下所示。

图 4 — 在 Guided planner 中配置参数

四、总结

        Guided planner 为 Caldera 的内置规划器库引入了更复杂的自动化规划功能。它对可用操作执行定向搜索,以确定工作的优先级并更快地实现目标。它通过构建对手能力的依赖图来跟踪输入事实到目标来实现这一点。规划者使用每种能力到目标的有效距离来决定在每次规划迭代中执行哪种能力。在规划者选择的每个行动之后,每个能力到目标的有效距离将根据一组公式进行更新。

        使用引导规划器的最有效方法是为所使用的对手定义目标并修改控制有效距离计算的参数。所有这些都可以通过 YAML 配置文件进行配置,而无需直接修改规划器代码。

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



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

相关文章

动态规划---打家劫舍

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

代码随想录冲冲冲 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 解题思路 这道题的思路是使用动态规划

Android 引导图层、引导页

Android 引导图层(参考gith项目) Android 引导图层参考gith项目 简介不多说 先上图 部分代码说明 简介: 最最轻量级的新手引导图层库,支持单页,多个引导,支持设置不同的图形,支持动画等,例如:Activity 、fragment、各种对应View 皆可; 不多说 先上图: OK ;可以根据自己的需求重新定义 显示的效果;都

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],