hacktricks/pentesting-web/race-condition.md

# 竞争条件

<figure><img src="/.gitbook/assets/image (3).png" alt=""><figcaption></figcaption></figure>

\
使用[**Trickest**](https://trickest.com/?utm\_campaign=hacktrics\&utm\_medium=banner\&utm\_source=hacktricks)轻松构建和自动化由全球**最先进**的社区工具提供支持的工作流程。\
立即获取访问权限：

{% embed url="https://trickest.com/?utm_campaign=hacktrics&utm_medium=banner&utm_source=hacktricks" %}

<details>

<summary><a href="https://cloud.hacktricks.xyz/pentesting-cloud/pentesting-cloud-methodology"><strong>☁️ HackTricks Cloud ☁️</strong></a> -<a href="https://twitter.com/hacktricks_live"><strong>🐦 Twitter 🐦</strong></a> - <a href="https://www.twitch.tv/hacktricks_live/schedule"><strong>🎙️ Twitch 🎙️</strong></a> - <a href="https://www.youtube.com/@hacktricks_LIVE"><strong>🎥 Youtube 🎥</strong></a></summary>

* 你在**网络安全公司**工作吗？你想在HackTricks中看到你的公司广告吗？或者你想获得PEASS的**最新版本或下载PDF格式的HackTricks**吗？查看[**订阅计划**](https://github.com/sponsors/carlospolop)！
* 发现我们的独家[**NFTs**](https://opensea.io/collection/the-peass-family)收藏品[**The PEASS Family**](https://opensea.io/collection/the-peass-family)
* 获取[**官方PEASS和HackTricks周边产品**](https://peass.creator-spring.com)
* **加入**[**💬**](https://emojipedia.org/speech-balloon/) [**Discord群组**](https://discord.gg/hRep4RUj7f)或[**电报群组**](https://t.me/peass)或在**Twitter**上**关注**我[**🐦**](https://github.com/carlospolop/hacktricks/tree/7af18b62b3bdc423e11444677a6a73d4043511e9/\[https:/emojipedia.org/bird/README.md)[**@carlospolopm**](https://twitter.com/hacktricks\_live)**。**
* **通过向**[**hacktricks repo**](https://github.com/carlospolop/hacktricks) **和**[**hacktricks-cloud repo**](https://github.com/carlospolop/hacktricks-cloud) **提交PR来分享你的黑客技巧。**

</details>

## 利用竞争条件

滥用竞争条件的主要问题是需要请求在非常短的时间差内并行处理（通常>1ms）。在下一节中，提出了不同的解决方案，以实现这一点。

<figure><img src="../.gitbook/assets/image (5) (1).png" alt=""><figcaption></figcaption></figure>

### 单数据包攻击（HTTP/2）/ 最后一个字节同步（HTTP/1.1）

HTTP2允许在**单个TCP连接**中发送**2个请求**（而在HTTP/1.1中，它们必须是顺序的）。\
使用单个TCP数据包完全**消除了网络抖动的影响**，因此这对于竞争条件攻击也具有潜力。然而，**两个请求对于可靠的竞争攻击来说是不够的**，这要归功于**服务器端抖动** - 应用程序请求处理时间的变化，由于CPU争用等不可控变量引起。

但是，使用HTTP/1.1的'**最后一个字节同步**'技术，可以预先发送大部分数据，并保留每个请求的一个小片段，然后使用一个单个TCP数据包'完成'**20-30个请求**。

要**预先发送每个请求的大部分数据**：

* 如果请求没有正文，请发送所有标头，但不设置END\_STREAM标志。保留一个带有设置了END\_STREAM的空数据帧。
* 如果请求有正文，请发送标头和除最后一个字节之外的所有正文数据。保留一个包含最后一个字节的数据帧。

接下来，**准备发送最后的帧**：

* 等待100ms，以确保初始帧已发送。
* 确保禁用TCP\_NODELAY - Nagle算法批处理最后的帧至关重要。
* 发送一个ping数据包以预热本地连接。如果不这样做，操作系统的网络堆栈将把第一个最后的帧放在一个单独的数据包中。

最后，发送保留的帧。您应该能够使用Wireshark验证它们是否落在一个单独的数据包中。

{% hint style="info" %}
请注意，这**对于某些服务器上的静态文件不起作用**，但静态文件对于竞争条件攻击是无关紧要的。
{% endhint %}

使用这种技术，您可以使20-30个请求同时到达服务器 - 无论网络抖动如何：

<figure><img src="../.gitbook/assets/image (1) (1) (1) (1) (1).png" alt=""><figcaption></figcaption></figure>

**适应目标架构**

值得注意的是，许多应用程序位于前端服务器后面，这些服务器可能决定将某些请求转发到后端的现有连接，并为其他请求创建新的连接。

因此，重要的是不要将不一致的请求时间归因于应用程序行为，例如仅允许单个线程访问资源的锁定机制。此外，前端请求路由通常是基于每个连接的，因此您可以通过在执行攻击之前在服务器端进行连接预热 - **在连接上发送几个无关紧要的请求**（这只是在开始实际攻击之前发送几个请求）来平滑请求时间。

#### 基于会话的锁定机制 <a href="#session-based-locking-mechanisms" id="session-based-locking-mechanisms"></a>

一些框架尝试通过使用某种形式的**请求锁定**来防止意外数据损坏。例如，**PHP的本机会话处理程序**模块一次只处理**一个会话的一个请求**。

发现此类行为非常重要，因为它可能掩盖了可以轻松利用的漏洞。如果注意到所有请求都按顺序处理，请尝试使用不同的会话令牌发送每个请求。
#### **滥用速率或资源限制**

如果连接预热没有任何效果，有多种解决方案可解决此问题。

使用Turbo Intruder，您可以引入短暂的客户端延迟。然而，由于这涉及将实际的攻击请求分割成多个TCP数据包，您将无法使用单数据包攻击技术。因此，在高抖动目标上，无论您设置了什么延迟，攻击都不太可能可靠地工作。

<figure><img src="../.gitbook/assets/image (2) (1) (1).png" alt=""><figcaption></figcaption></figure>

相反，您可以通过滥用常见的安全功能来解决此问题。

Web服务器通常会**在发送请求过多时延迟处理**。通过发送大量的虚假请求来故意触发速率或资源限制，您可能会导致适当的服务器端延迟。这使得即使需要延迟执行，单数据包攻击也是可行的。

<figure><img src="../.gitbook/assets/image (3) (1) (1).png" alt=""><figcaption></figcaption></figure>

{% hint style="warning" %}
有关此技术的更多信息，请查看原始报告：[https://portswigger.net/research/smashing-the-state-machine](https://portswigger.net/research/smashing-the-state-machine)
{% endhint %}

#### 攻击示例

* **Tubo Intruder - HTTP2单数据包攻击（1个端点）**：您可以将请求发送到**Turbo Intruder**（`Extensions` -> `Turbo Intruder` -> `Send to Turbo Intruder`），您可以在请求中更改要暴力破解的值**`%s`**，例如`csrf=Bn9VQB8OyefIs3ShR2fPESR0FzzulI1d&username=carlos&password=%s`，然后从下拉菜单中选择**`examples/race-single-packer-attack.py`**：

<figure><img src="../.gitbook/assets/image (4) (1).png" alt=""><figcaption></figcaption></figure>

如果您要**发送不同的值**，您可以使用以下代码，该代码使用剪贴板中的字典文件：
```python
passwords = wordlists.clipboard
for password in passwords:
engine.queue(target.req, password, gate='race1')
```
{% hint style="warning" %}
如果网站不支持HTTP2（只支持HTTP1.1），请使用`Engine.THREADED`或`Engine.BURP`代替`Engine.BURP2`。
{% endhint %}

* **Tubo Intruder - HTTP2单数据包攻击（多个端点）**：如果您需要向一个端点发送请求，然后向其他端点发送多个请求以触发RCE，您可以将`race-single-packet-attack.py`脚本更改为以下内容：
```python
def queueRequests(target, wordlists):
engine = RequestEngine(endpoint=target.endpoint,
concurrentConnections=1,
engine=Engine.BURP2
)

# Hardcode the second request for the RC
confirmationReq = '''POST /confirm?token[]= HTTP/2
Host: 0a9c00370490e77e837419c4005900d0.web-security-academy.net
Cookie: phpsessionid=MpDEOYRvaNT1OAm0OtAsmLZ91iDfISLU
Content-Length: 0

'''

# For each attempt (20 in total) send 50 confirmation requests.
for attempt in range(20):
currentAttempt = str(attempt)
username = 'aUser' + currentAttempt

# queue a single registration request
engine.queue(target.req, username, gate=currentAttempt)

# queue 50 confirmation requests - note that this will probably sent in two separate packets
for i in range(50):
engine.queue(confirmationReq, gate=currentAttempt)

# send all the queued requests for this attempt
engine.openGate(currentAttempt)
```
* 它还可以通过Burp Suite中的新的“并行发送组”选项在Repeater中使用。
* 对于limit-overrun，您可以在组中添加相同的请求50次。
* 对于连接预热，您可以在组的开头添加一些请求到Web服务器的非静态部分。
* 对于在两个子状态步骤之间延迟处理一个请求和另一个请求，您可以在两个请求之间添加额外的请求。
* 对于多端点的RC，您可以先发送到隐藏状态的请求，然后在其后发送50个利用隐藏状态的请求。

<figure><img src="../.gitbook/assets/image (1) (1) (1) (1).png" alt=""><figcaption></figcaption></figure>

### 原始BF

在之前的研究之前，这些是一些用于尝试尽快发送数据包以引发RC的有效载荷。

* Repeater：请参考前一节中的示例。
* Intruder：将请求发送到Intruder，将线程数设置为30，在选项菜单中选择Null有效载荷并生成30个。
* Turbo Intruder
```python
def queueRequests(target, wordlists):
engine = RequestEngine(endpoint=target.endpoint,
concurrentConnections=5,
requestsPerConnection=1,
pipeline=False
)
a = ['Session=<session_id_1>','Session=<session_id_2>','Session=<session_id_3>']
for i in range(len(a)):
engine.queue(target.req,a[i], gate='race1')
# open TCP connections and send partial requests
engine.start(timeout=10)
engine.openGate('race1')
engine.complete(timeout=60)

def handleResponse(req, interesting):
table.add(req)
```
* **Python - asyncio**

Python的asyncio模块是一种用于编写异步代码的库。它提供了一种方便的方式来处理并发任务，特别是在网络编程中。asyncio使用事件循环来调度和执行异步任务，这样可以避免阻塞其他任务的执行。

在使用asyncio进行并发编程时，我们可以使用`async`和`await`关键字来定义异步函数和等待异步操作的结果。这样可以使代码更加简洁和易于理解。

使用asyncio进行并发编程的一个常见问题是竞态条件（Race Condition）。竞态条件指的是多个任务同时访问和修改共享资源时可能出现的问题。在并发环境中，由于任务执行的顺序不确定，可能会导致不一致的结果或错误的行为。

竞态条件可以在Web应用程序中的各个方面出现，例如用户认证、访问控制和数据更新。攻击者可以利用竞态条件来执行未经授权的操作或绕过访问控制。

为了利用竞态条件进行攻击，攻击者需要找到一个合适的时间窗口，在该窗口内同时执行两个或多个关键操作。这可以通过多个并发请求或并发线程来实现。

为了防止竞态条件的发生，我们可以采取一些措施，例如使用锁来保护共享资源、使用事务来确保原子性操作、使用乐观锁或悲观锁来处理并发访问等。

在进行渗透测试时，我们可以利用竞态条件来发现潜在的安全漏洞。通过模拟并发请求或并发线程，我们可以尝试在关键操作之间插入恶意操作，以验证应用程序的安全性。

总结一下，Python的asyncio模块提供了一种方便的方式来处理并发任务。然而，在使用asyncio进行并发编程时，我们需要注意竞态条件可能导致的安全问题，并采取适当的措施来防止和发现潜在的安全漏洞。
```python
import asyncio
import httpx

async def use_code(client):
resp = await client.post(f'http://victim.com', cookies={"session": "asdasdasd"}, data={"code": "123123123"})
return resp.text

async def main():
async with httpx.AsyncClient() as client:
tasks = []
for _ in range(20): #20 times
tasks.append(asyncio.ensure_future(use_code(client)))

# Get responses
results = await asyncio.gather(*tasks, return_exceptions=True)

# Print results
for r in results:
print(r)

# Async2sync sleep
await asyncio.sleep(0.5)
print(results)

asyncio.run(main())
```
## **RC方法论**

### 限制超出/TOCTOU

这是最基本的一种竞争条件，其中**漏洞**出现在**限制您执行某个操作的次数的地方**。比如在网店中多次使用相同的折扣码。一个非常简单的例子可以在[**这份报告**](https://medium.com/@pravinponnusamy/race-condition-vulnerability-found-in-bug-bounty-program-573260454c43)或者[**这个漏洞**](https://hackerone.com/reports/759247)**中找到**。

这种攻击有很多变种，包括：

* 多次兑换礼品卡
* 多次评价产品
* 超出账户余额提取或转账
* 重复使用单个验证码解决方案
* 绕过反暴力破解速率限制

### **隐藏的子状态**

其他最复杂的竞争条件将利用机器状态中的**子状态**，这可能允许攻击者滥用他本不应该访问的状态，但攻击者有一个**小窗口**可以访问它。

1. **预测潜在的隐藏和有趣的子状态**

第一步是识别所有写入它或从中读取数据并将该数据用于某些重要事项的端点。例如，用户可能存储在由注册、配置文件编辑、密码重置启动和密码重置完成修改的数据库表中。

我们可以使用三个关键问题来排除不太可能引起冲突的端点。对于每个对象和相关的端点，问：

* **状态是如何存储的？**

存储在持久的服务器端数据结构中的数据非常适合利用。某些端点完全在客户端存储其状态，例如通过电子邮件发送JWT的密码重置 - 这些可以安全地跳过。

应用程序通常会在用户会话中存储一些状态。这些通常在一定程度上受到子状态的保护 - 关于此后面会有更多介绍。

* **我们是在进行编辑还是追加操作？**

编辑现有数据的操作（例如更改帐户的主电子邮件地址）具有充足的冲突潜力，而仅追加到现有数据的操作（例如添加额外的电子邮件地址）不太可能受到除限制超出攻击之外的任何漏洞的影响。

* **操作的键是什么？**

大多数端点都在特定记录上操作，该记录使用“键”进行查找，例如用户名、密码重置令牌或文件名。为了成功攻击，我们需要使用相同键的两个操作。例如，想象两个合理的密码重置实现：

<figure><img src="../.gitbook/assets/image (2) (1) (1) (1).png" alt=""><figcaption></figcaption></figure>

2. **寻找线索**

此时是时候对潜在有趣的端点发起一些RC攻击，以尝试找到与常规响应不同的意外结果。任何与预期响应的偏差，例如一个或多个响应的变化，或者像电子邮件内容的不同或会话中的可见变化这样的二级效应，都可能是指示出现问题的线索。

3. **验证概念**

最后一步是**验证概念并将其转化为可行的攻击**。

当您发送一批请求时，您可能会发现早期的请求对一个易受攻击的最终状态进行了触发，但后来的请求覆盖/使其无效，最终状态无法利用。在这种情况下，您将希望消除所有不必要的请求 - 两个请求应足以利用大多数漏洞。然而，减少到两个请求将使攻击更加时间敏感，因此您可能需要多次重试攻击或自动化攻击。

### 时间敏感攻击

有时您可能找不到竞争条件，但是**以精确的时间传递请求的技术**仍然可以揭示其他漏洞的存在。

一个例子是当使用**高分辨率时间戳**而不是加密安全的随机字符串来生成安全令牌时。

考虑一个仅使用时间戳进行随机化的**密码重置令牌**。在这种情况下，可能可以**触发两个不同用户的两次密码重置**，这两次重置都使用**相同的令牌**。您只需要计时请求，以使它们生成相同的时间戳。

{% hint style="warning" %}
要确认前面的情况，您只需同时请求**2个重置密码令牌**（使用单个数据包攻击），然后检查它们是否**相同**。
{% endhint %}

在[**此实验**](https://portswigger.net/web-security/race-conditions/lab-race-conditions-exploiting-time-sensitive-vulnerabilities)中检查示例。

## 隐藏的子状态案例研究

### 支付并添加商品

[**查看此实验**](https://portswigger.net/web-security/logic-flaws/examples/lab-logic-flaws-insufficient-workflow-validation)以了解如何在商店中**支付**并**添加一个额外的**商品，而无需为其付款。

### 确认其他电子邮件

这个想法是**同时验证一个电子邮件地址并将其更改为另一个地址**，以查看平台是否验证了新的地址。

### 将电子邮件更改为2个电子邮件地址基于Cookie

根据[**此篇文章**](https://portswigger.net/research/smashing-the-state-machine)，Gitlab容易受到这种方式的接管，因为它可能会将一个电子邮件的**电子邮件验证令牌发送到另一个电子邮件**。

您还可以查看[**此实验**](https://portswigger.net/web-security/race-conditions/lab-race-conditions-single-endpoint)以了解更多信息。

### 隐藏的数据库状态/确认绕过

如果使用**2个不同的写入**将**信息**添加到**数据库**中，那么在**只有第一个数据被写入**数据库的一小段时间内。例如，当创建用户时，**用户名**和**密码**可能会被**写入**，然后写入用于确认新创建的帐户的令牌。这意味着在一小段时间内，**确认帐户的令牌为空**。

因此，**注册一个帐户并发送多个带有空令牌**（`token=`或`token[]=`或任何其他变体）的请求以立即确认帐户，可以允许确认一个您无法控制的电子邮件的帐户。

在[**此实验**](https://portswigger.net/web-security/race-conditions/lab-race-conditions-partial-construction)中检查一个示例。

### 绕过双因素认证

以下伪代码演示了一个网站如何容易受到此攻击的竞争变体：
```python
session['userid'] = user.userid
if user.mfa_enabled:
session['enforce_mfa'] = True
# generate and send MFA code to user
# redirect browser to MFA code entry form
```
正如你所看到的，这实际上是一个**在单个请求的范围内的多步骤序列**。最重要的是，它会在一个子状态中转换，其中**用户在临时拥有有效的登录会话，但尚未强制执行多因素身份验证（MFA）**。攻击者可以通过发送登录请求以及对敏感的经过身份验证的端点的请求来利用这一点。

### OAuth2永久持久性

有几个[**OAuth提供者**](https://en.wikipedia.org/wiki/List\_of\_OAuth\_providers)。这些服务将允许您创建一个应用程序并对提供者注册的用户进行身份验证。为了做到这一点，**客户端**将需要**允许您的应用程序**访问**OAuth提供者**内部的一些数据。\
所以，到目前为止，只是一个常见的与Google/LinkedIn/GitHub等登录，您会看到一个页面，上面写着：“_应用程序\<InsertCoolName>想要访问您的信息，您是否允许？_”

#### `authorization_code`中的竞争条件

**问题**出现在您**接受并自动发送一个`authorization_code`**给恶意应用程序时。然后，该**应用程序滥用OAuth服务提供者中的竞争条件，从`authorization_code`为您的帐户生成多个AT/RT**（身份验证令牌/刷新令牌）。基本上，它会滥用您已经接受应用程序访问您的数据的事实，以**创建多个帐户**。然后，如果您**停止允许应用程序访问您的数据，一个AT/RT对将被删除，但其他对仍然有效**。

#### `Refresh Token`中的竞争条件

一旦您**获得了一个有效的RT**，您可以尝试**滥用它来生成多个AT/RT**，即使用户取消了恶意应用程序访问其数据的权限，**多个RT仍然有效**。

## 参考资料

* [https://hackerone.com/reports/759247](https://hackerone.com/reports/759247)
* [https://pandaonair.com/2020/06/11/race-conditions-exploring-the-possibilities.html](https://pandaonair.com/2020/06/11/race-conditions-exploring-the-possibilities.html)
* [https://hackerone.com/reports/55140](https://hackerone.com/reports/55140)
* [https://portswigger.net/research/smashing-the-state-machine](https://portswigger.net/research/smashing-the-state-machine)
* [https://portswigger.net/web-security/race-conditions](https://portswigger.net/web-security/race-conditions)

<details>

<summary><a href="https://cloud.hacktricks.xyz/pentesting-cloud/pentesting-cloud-methodology"><strong>☁️ HackTricks Cloud ☁️</strong></a> -<a href="https://twitter.com/hacktricks_live"><strong>🐦 Twitter 🐦</strong></a> - <a href="https://www.twitch.tv/hacktricks_live/schedule"><strong>🎙️ Twitch 🎙️</strong></a> - <a href="https://www.youtube.com/@hacktricks_LIVE"><strong>🎥 Youtube 🎥</strong></a></summary>

* 你在**网络安全公司**工作吗？想要在HackTricks中**宣传你的公司**吗？或者你想要**获取PEASS的最新版本或下载PDF格式的HackTricks**吗？请查看[**订阅计划**](https://github.com/sponsors/carlospolop)！
* 发现我们的独家[NFT收藏品](https://opensea.io/collection/the-peass-family)——[**The PEASS Family**](https://opensea.io/collection/the-peass-family)
* 获取[**官方PEASS和HackTricks周边产品**](https://peass.creator-spring.com)
* **加入**[**💬**](https://emojipedia.org/speech-balloon/) [**Discord群组**](https://discord.gg/hRep4RUj7f) 或 [**Telegram群组**](https://t.me/peass)，或者**关注**我在**Twitter**上的[**🐦**](https://github.com/carlospolop/hacktricks/tree/7af18b62b3bdc423e11444677a6a73d4043511e9/\[https:/emojipedia.org/bird/README.md)[**@carlospolopm**](https://twitter.com/hacktricks\_live)**。**
* **通过向**[**hacktricks repo**](https://github.com/carlospolop/hacktricks) **和**[**hacktricks-cloud repo**](https://github.com/carlospolop/hacktricks-cloud) **提交PR来分享您的黑客技巧。**

</details>

<figure><img src="/.gitbook/assets/image (3).png" alt=""><figcaption></figcaption></figure>

\
使用[**Trickest**](https://trickest.com/?utm\_campaign=hacktrics\&utm\_medium=banner\&utm\_source=hacktricks)可以轻松构建和**自动化工作流程**，使用全球**最先进**的社区工具。\
立即获取访问权限：

{% embed url="https://trickest.com/?utm_campaign=hacktrics&utm_medium=banner&utm_source=hacktricks" %}